Confluence by Decreasing Diagrams

DOI10.1007/978-3-540-70590-1_21MaRDI QIDQ3522026zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Confluence by decreasing diagrams
• Confluence by decreasing diagrams -- formalized
• Decreasing diagrams for confluence and commutation
• Diagrammatic Confluence and Completion
• A geometric proof of confluence by decreasing diagrams
• From diagrammatic confluence to modularity
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Labelings for decreasing diagrams
• Labelings for Decreasing Diagrams.
• Diagram techniques for confluence

Cites work

• A geometric proof of confluence by decreasing diagrams
• Braids and self-distributivity
• Confluence by decreasing diagrams
• Diagram techniques for confluence
• Generalizing Newman’s Lemma for Left-Linear Rewrite Systems
• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 3981150 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• New up-to techniques for weak bisimulation
• On theories with a combinatorial definition of 'equivalence'
• Random Descent

Cited in

(31)

• Diagram techniques for confluence
• Modularity in term rewriting revisited
• From diagrammatic confluence to modularity
• Confluence by critical pair analysis revisited
• Labelings for decreasing diagrams
• Confluence theory for graphs
• Proof orders for decreasing diagrams
• Confluence by decreasing diagrams -- formalized
• Certifying confluence proofs via relative termination and rule labeling
• CoLL: a confluence tool for left-linear term rewrite systems
• Modularity of Confluence
• Proving Confluence of Term Rewriting Systems Automatically
• Diagrammatic Confluence and Completion
• Decreasing Diagrams
• Decreasing Diagrams II
• Decreasing diagrams and relative termination
• A geometric proof of confluence by decreasing diagrams
• Finding small counterexamples for abstract rewriting properties
• Decreasing diagrams with two labels are complete for confluence of countable systems
• Decreasing diagrams for confluence and commutation
• scientific article; zbMATH DE number 7204438 (Why is no real title available?)
• CSI -- a confluence tool
• Confluence: the unifying, expressive power of locality
• Decreasing diagrams and relative termination
• On reduction and normalization in the computational core
• A rewriting coherence theorem with applications in homotopy type theory
• Compositional confluence criteria
• Factorize factorization
• Sort-based confluence criteria for non-left-linear higher-order rewriting
• The benefits of diligence
• De Bruijn's weak diamond property revisited

This page was built for publication: Confluence by Decreasing Diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522026)