Complexity analysis of term-rewriting systems
- 3 October 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 67 (2-3) , 261-282
- https://doi.org/10.1016/0304-3975(89)90005-4
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Report on the larch shared languageScience of Computer Programming, 1986
- A complexity calculus for recursive tree algorithmsTheory of Computing Systems, 1986
- A Larch Shared Language handbookScience of Computer Programming, 1986
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Complexity of algebraic implementations for abstract data typesJournal of Computer and System Sciences, 1981
- On the Altitude of Nodes in Random TreesCanadian Journal of Mathematics, 1978