Monadic Thue systems
- 1 September 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 19 (3) , 231-251
- https://doi.org/10.1016/0304-3975(82)90036-6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Testing for the Church-Rosser propertyTheoretical Computer Science, 1981
- On a special monoid with a single defining relationTheoretical Computer Science, 1981
- A short survey on the state of the art in matching and unification problemsACM SIGSAM Bulletin, 1979
- The Hardest Context-Free LanguageSIAM Journal on Computing, 1973
- How to Make Arbitrary Grammars Look Like Context-Free GrammarsSIAM Journal on Computing, 1973
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Une Generalisation des Ensembles de DyckIsrael Journal of Mathematics, 1971
- Full AFLs and nested iterated substitutionInformation and Control, 1970
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942