Confluence by Decreasing Diagrams

DOI10.1007/978-3-540-70590-1_21zbMath1146.68044OpenAlexW1907069005MaRDI QIDQ3522026

Vincent van Oostrom

Publication date: 28 August 2008

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70590-1_21

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (20)

Unnamed Item ⋮ CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Finding small counterexamples for abstract rewriting properties ⋮ Modularity in term rewriting revisited ⋮ From diagrammatic confluence to modularity ⋮ Decreasing diagrams and relative termination ⋮ Unnamed Item ⋮ Modularity of Confluence ⋮ Decreasing diagrams with two labels are complete for confluence of countable systems ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ Decreasing Diagrams and Relative Termination ⋮ CSI – A Confluence Tool ⋮ Unnamed Item ⋮ Unnamed Item ⋮ De Bruijn's weak diamond property revisited ⋮ Confluence by critical pair analysis revisited ⋮ Proving Confluence of Term Rewriting Systems Automatically ⋮ Labelings for decreasing diagrams ⋮ On reduction and normalization in the computational core ⋮ A rewriting coherence theorem with applications in homotopy type theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diagram techniques for confluence
• Confluence by decreasing diagrams
• Braids and self-distributivity
• New up-to techniques for weak bisimulation
• On theories with a combinatorial definition of 'equivalence'
• Generalizing Newman’s Lemma for Left-Linear Rewrite Systems
• A geometric proof of confluence by decreasing diagrams
• Random Descent

This page was built for publication: Confluence by Decreasing Diagrams