Reductions in tree replacement systems
- 31 December 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 123-150
- https://doi.org/10.1016/0304-3975(85)90089-1
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Monadic Thue systemsTheoretical Computer Science, 1982
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Testing for the Church-Rosser propertyTheoretical Computer Science, 1981
- On Uniquely Decipherable Codes with Two CodewordsIEEE Transactions on Computers, 1980
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Tree generating regular systemsInformation and Control, 1969
- The Word ProblemAnnals of Mathematics, 1959
- Some properties of conversionTransactions of the American Mathematical Society, 1936