A geometric proof of confluence by decreasing diagrams

DOI10.1093/logcom/10.3.437zbMath0965.68034OpenAlexW2085171596MaRDI QIDQ4500178

Vincent van Oostrom, Jan Willem Klop, 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)

Related Items (3)

Confluence by Decreasing Diagrams ⋮ Decreasing Diagrams and Relative Termination ⋮ De Bruijn's weak diamond property revisited

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