A geometric proof of confluence by decreasing diagrams

Abstract

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 the decreasing diagram theorem based on a geometric study of in nite reduction diagrams, arising from unsuccessful attempts to obtain a con uent diagram by tiling… (More)
DOI: 10.1093/logcom/10.3.437

Topics

6 Figures and Tables

Slides referencing similar topics