×

CSI

swMATH ID: 9767
Software Authors: Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart
Description: CSI - a confluence tool. This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented 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.
Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_38
Keywords: term rewriting; confluence; automation
Related Software: Saigawa; CeTA; Tyrolean; CoLL; Archive Formal Proofs; Isabelle/HOL; CiME; Isabelle; Conditional Confluence; CoLoR; Nagoya Termination Tool; Cops; CoCoWeb; CafeOBJ; Maude; OBJ3; CRC 3; AProVE; StarExec; ACL2
Cited in: 24 Documents

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
CSI: new evidence – a progress report. Zbl 1494.68291
Nagele, Julian; Felgenhauer, Bertram; Middeldorp, Aart
2017
all top 5

Cited by 26 Authors

8 Felgenhauer, Bertram
8 Middeldorp, Aart
5 Nagele, Julian
5 Zankl, Harald
3 Aoto, Takahito
3 Hirokawa, Nao
2 Meseguer Guaita, José
2 Shintani, Kiraku
2 Sternagel, Thomas
1 Bergstra, Jan A.
1 Durán, Francisco
1 Endrullis, Jörg
1 Ishizuki, Sayaka
1 Kikuchi, Kentaro
1 Klop, Jan Willem
1 Lochmann, Alexander
1 Mitterwallner, Fabian
1 Oyamaguchi, Michio
1 Ponse, Alban
1 Rocha, Camilo
1 Sakai, Masahiko
1 Skeirik, Stephen
1 Sternagel, Christian
1 Thiemann, René
1 Toyama, Yoshihito
1 van Oostrom, Vincent
all top 5

Cited in 7 Serials

4 Logical Methods in Computer Science
2 Journal of Automated Reasoning
1 Information and Computation
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 ACM Transactions on Computational Logic
1 Journal of Logical and Algebraic Methods in Programming

Cited in 2 Fields

24 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)

Citations by Year