This paper describes the Conditional Confluence tool, a fully automatic confluence checker for first-order conditional term rewrite systems. The tool implements various confluence criteria that have been proposed in the literature. A simple technique is presented to test conditional critical pairs for infeasibility, which makes conditional confluence criteria more useful. Detailed experimental data is presented. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Sternagel, T., & Middeldorp, A. (2014). Conditional confluence (system description). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8560 LNCS, pp. 456–465). Springer Verlag. https://doi.org/10.1007/978-3-319-08918-8_31
Mendeley helps you to discover research relevant for your work.