A family of rules for recursion removal
- 31 December 1976
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 5 (6) , 174-177
- https://doi.org/10.1016/0020-0190(76)90015-6
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The Equivalence of Certain ComputationsThe Computer Journal, 1966