CSI – A Confluence Tool
From MaRDI portal
Publication:5200045
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
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
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