Infinite trees in normal form and recursive equations having a unique solution
- 1 December 1979
- journal article
- research article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 13 (1) , 131-180
- https://doi.org/10.1007/bf01744293
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- On some classes of interpretationsJournal of Computer and System Sciences, 1978
- Equivalence problems for deterministic context-free languages and monadic recursion schemesJournal of Computer and System Sciences, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- The inclusion problem for simple languagesTheoretical Computer Science, 1976
- Program equivalence and context-free grammarsJournal of Computer and System Sciences, 1975
- Knowledge and reasoning in program synthesisArtificial Intelligence, 1975
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972