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.

BibTeX

@inproceedings{TANHJNNNHZ-CADE15,
  author    = "Takahito Aoto and Nao Hirokawa and Julian Nagele and
               Naoki Nishida and Harald Zankl",
  title     = "Confluence Competition 2015",
  booktitle = "Proceedings of the 25th International Conference on
               Automated Deduction (CADE-25)",
  editor    = "Amy Felty and Aart Middeldorp",
  series    = "Lecture Notes in Artificial Intelligence",
  volume    = 9195,
  pages     = "101--104",
  year      = 2015,
  doi       = "10.1007/978-3-319-21401-6_5"
}