Speeding up subtree replacement systems
- 31 May 1980
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 11 (1) , 39-47
- https://doi.org/10.1016/0304-3975(80)90033-x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Computation on graph-like expressionsTheoretical Computer Science, 1980
- Optimal evaluations of graph-like expressionsTheoretical Computer Science, 1980
- A class of replacement systems with simple optimality theoryBulletin of the Australian Mathematical Society, 1977
- An abstract Church-Rosser theorem. II: ApplicationsThe Journal of Symbolic Logic, 1974
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973