A geometric proof of confluence by decreasing diagrams

DOI10.1093/LOGCOM/10.3.437zbMATH Open0965.68034OpenAlexW2085171596MaRDI QIDQ4500178FDOQ4500178

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

Recommendations

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

zbMATH Keywords

decreasing diagram theorem

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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)