A geometric proof of confluence by decreasing diagrams

DOI10.1093/LOGCOM/10.3.437MaRDI QIDQ4500178zbMATH OpenOpenAlexFDO

Authors Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer

Publication date 4 September 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/26481

zbMATH Keywords

decreasing diagram theorem

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Confluence by decreasing diagrams -- formalized
• Confluence by Decreasing Diagrams
• Diagrammatic Confluence and Completion
• Diagram techniques for confluence
• Decreasing diagrams and relative termination

Cited in

(5)

• Confluence by decreasing diagrams -- formalized
• Decreasing diagrams and relative termination
• De Bruijn's weak diamond property revisited
• Proof orders for decreasing diagrams
• Confluence by Decreasing Diagrams

This page was built for publication: A geometric proof of confluence by decreasing diagrams

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