Abstract

We describe the features of ConCon 1.3, a fully automatic confluence checker for oriented first-order conditional term rewrite systems that participated in the International Confluence Competition 2015.

BibTeX

@inproceedings{TSAM-IWC15,
  author    = "Thomas Sternagel and Aart Middeldorp",
  title     = "{CoCo} Participant: {ConCon}",
  booktitle = "Proceedings of the 4th International Workshop on Confluence",
  pages     = "44",
  year      = 2015
}