| A geometric proof of confluence by decreasing diagrams (2000) | |||||||||||
Abstract | |||||||||||
| 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 the decreasing diagram theorem based on a geometric study of in finite reduction diagrams, arising from unsuccessful attempts to obtain a confluent diagram by tiling with elementary diagrams. | |||||||||||
Publication details | |||||||||||
| |||||||||||