CSI – A Confluence Tool

DOI10.1007/978-3-642-22438-6_38zbMath1341.68199OpenAlexW134328369MaRDI QIDQ5200045

Bertram Felgenhauer, Aart Middeldorp, Harald Zankl

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_38

zbMATH Keywords

confluenceterm rewritingautomation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (11)

Unnamed Item ⋮ CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Unnamed Item ⋮ Layer Systems for Proving Confluence ⋮ Unnamed Item ⋮ Reachability, confluence, and termination analysis with state-compatible automata ⋮ De Bruijn's weak diamond property revisited ⋮ Nominal Confluence Tool ⋮ Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems ⋮ Conditions for confluence of innermost terminating term rewriting systems ⋮ Labelings for decreasing diagrams

Uses Software

• Tyrolean
• CSI
• CiME

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Match-bounds revisited
• Confluence by decreasing diagrams
• Developing developments
• Confluence by Decreasing Diagrams
• Proving Confluence of Term Rewriting Systems Automatically
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Term Rewriting and All That
• Labelings for Decreasing Diagrams.
• Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.
• Frontiers of Combining Systems

This page was built for publication: CSI – A Confluence Tool