Title: Church-Rosser theorems for abstract reduction modulo an equivalence relation
Abstract: 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.
Publication Year: 1998
Publication Date: 1998-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 27
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot