A very powerful method for proving the Church-Rosser property for abstract rewriting systems has been developed by van Oostrom. In this paper, his technique is extended in two ways to abstract rewriting modulo an equivalence relation. It is shown that known Church-Rosser theorems can be viewed as special cases of the new criteria. Moreover, applications of the new criteria yield several new results.
CITATION STYLE
Ohlebusch, E. (1998). Church-Rosser theorems for abstract reduction modulo an equivalence relation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1379, pp. 17–31). Springer Verlag. https://doi.org/10.1007/BFb0052358
Mendeley helps you to discover research relevant for your work.