Testing for the Church-Rosser property
- 31 December 1981
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 16 (2) , 223-229
- https://doi.org/10.1016/0304-3975(81)90078-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Une Generalisation des Ensembles de DyckIsrael Journal of Mathematics, 1971
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942