Completeness results for the equivalence of recursive schemas
- 1 April 1976
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 12 (2) , 179-197
- https://doi.org/10.1016/s0022-0000(76)80036-0
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Continuous latticesLecture Notes in Mathematics, 1972
- On formalised computer programsJournal of Computer and System Sciences, 1970