On some classes of interpretations
- 1 December 1978
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 17 (3) , 388-413
- https://doi.org/10.1016/0022-0000(78)90016-8
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A representation of trees by languages ITheoretical Computer Science, 1978
- A representation of trees by languages IITheoretical Computer Science, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Finiteness is mu-ineffableTheoretical Computer Science, 1976
- Generalized Program SchemasSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976
- Decidable Properties of Monadic Functional SchemasJournal of the ACM, 1973
- Another recursion induction principleCommunications of the ACM, 1971
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969