A geometric proof of con uence by decreasing diagrams (2007)
Jan Willem, Klop Vincent, Oostrom Roel Vrijer
The criterion for con uence using decreasing diagrams is a generalization of several well-known con uence criteria in abstract rewriting, such as the strong con uence lemma. We give a new proof of...
A Geometric Proof of Confluence by Decreasing Diagrams (2007)
Jan Willem, Klop Vincent, Oostrom Roel Vrijer
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria in abstract rewriting, such as the strong confluence lemma. We give a new proof of...
A Geometric Proof of Con uence by Decreasing Diagrams (2000)
J. W. Klop, V. Van Oostrom, R. De Vrijer, Issn -x, Jan Willem, Klop Vincent, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of