Conditional confluence (system description). 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.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Kop, Cynthia; Middeldorp, Aart; Sternagel, Thomas: Complexity of conditional term rewriting (2017)
- Aoto, Takahito; Kikuchi, Kentaro: Nominal confluence tool (2016)
- Winkler, Sarah; Thiemann, René: Formalizing soundness and completeness of unravelings (2015)
- Sternagel, Thomas; Middeldorp, Aart: Conditional confluence (system description) (2014)