CSI – A Confluence Tool

Harald Zankl, Bertram Felgenhauer, and Aart Middeldorp

Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), Lecture Notes in Artificial Intelligence 6803, pp. 499 – 505, 2011.


This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques imple-mented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.


  PDF |    doi:10.1007/978-3-642-22438-6_38  |  © Springer


author = "Harald Zankl and Bertram Felgenhauer and Aart Middeldorp",
title = "CSI -- A Confluence Tool",
booktitle = "Proceedings of the 23rd International Conference on Automated Deduction",
address = "Wroclaw",
series = "Lecture Notes in Artificial Intelligence",
volume = 6803,
pages = "499--505",
year = 2011
Nach oben scrollen