Advertisement

Confluence Competition 2015

  • Takahito Aoto
  • Nao Hirokawa
  • Julian Nagele
  • Naoki Nishida
  • Harald Zankl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9195)

Abstract

Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.

References

  1. 1.
    Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)Google Scholar
  2. 2.
    Mayr, R., Nipkow, T.: Higher-order rewrite systems and their confluence. Theor. Comput. Sci. 192(1), 3–29 (1998)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Ohlebusch, E.: Advanced Topics in Term Rewriting Systems. Springer, New York (2002)CrossRefGoogle Scholar
  4. 4.
    Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: a cross-community infrastructure for logic solving. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 367–373. Springer, Heidelberg (2014) Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Takahito Aoto
    • 1
  • Nao Hirokawa
    • 2
  • Julian Nagele
    • 3
  • Naoki Nishida
    • 4
  • Harald Zankl
    • 3
  1. 1.Tohoku UniversitySendaiJapan
  2. 2.JAISTNomiJapan
  3. 3.University of InnsbruckInnsbruckAustria
  4. 4.Nagoya UniversityNagoyoJapan

Personalised recommendations