Modularity of Confluence

DOI10.1007/978-3-540-71070-7_31zbMath1165.03321OpenAlexW1601903054MaRDI QIDQ3541716

Vincent van Oostrom

Publication date: 27 November 2008

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_31

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items

Layer Systems for Proving Confluence, Modularity in term rewriting revisited, From diagrammatic confluence to modularity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modularity of confluence: A simplified proof
• Confluence by decreasing diagrams
• Confluence by Decreasing Diagrams
• Modular Church-Rosser Modulo
• Modular aspects of properties of term rewriting systems related to normal forms
• Compositional term rewriting: An algebraic proof of Toyama's theorem
• On the Church-Rosser property for the direct sum of term rewriting systems
• Confluence of the disjoint union of conditional term rewriting systems