Simultaneous Critical Pairs and Church-Rosser Property


We introduce simultaneous critical pairs, which account for simultaneous overlapping of several rewrite rules. Based on this, we introduce a new CR-criterion widely applicable to arbitrary left-linear term rewriting systems. Our result extends the well-known criterion given by Huet (1980), Toyama (1988), and Oostrom (1997) and incomparable with other well… (More)
DOI: 10.1007/BFb0052357


5 Figures and Tables

Cite this paper

@inproceedings{Okui1998SimultaneousCP, title={Simultaneous Critical Pairs and Church-Rosser Property}, author={Satoshi Okui}, booktitle={RTA}, year={1998} }