Recursive Applicative Program Schemes
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 50 references indexed in Scilit:
- Varieties of ”If-Then-Else“SIAM Journal on Computing, 1983
- All solutions of a system of recursion equations in infinite trees and other contraction theoriesJournal of Computer and System Sciences, 1983
- Compatible Orderings on the Metric Theory of TreesSIAM Journal on Computing, 1980
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration OperationSIAM Journal on Computing, 1980
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- A representation of trees by languages ITheoretical Computer Science, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976
- Decidable Properties of Monadic Functional SchemasJournal of the ACM, 1973
- Recursive definitions of partial functions and their computationsPublished by Association for Computing Machinery (ACM) ,1972