NTS grammars and church–rosser systems
- 13 November 1981
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 13 (2) , 73-76
- https://doi.org/10.1016/0020-0190(81)90036-3
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Monadic Thue systemsTheoretical Computer Science, 1982
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Testing for the Church-Rosser propertyTheoretical Computer Science, 1981
- Une Generalisation des Ensembles de DyckIsrael Journal of Mathematics, 1971
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942