Primitive recursive program transformation

, &

Abstract

arbitrary flowchart programs by introducing a new recursive function for each tag point. In the above example, one obtains: int = int1, p..... 1 h ), w...., y2r )_.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

E. P. Northrop, R. S. Fouch, I. R. Hershner, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, H. F. Mist, A. L. Putnam, S. Sherman, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vol. 1. The University of Chicago Press, Chicago1948, pp. vi, 1–281. - E. P. Northrop, R. S. Fouch, M. Friedman, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, E. H. Ostrow, A. L. Putnam, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vols. 2 and 3. The University of Chicago Press, Chicago1949, pp. v, 282–533; v, 534–921. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 14 (4):242-243.
On primitive recursive permutations and their inverses.Frank B. Cannonito & Mark Finkelstein - 1969 - Journal of Symbolic Logic 34 (4):634-638.
Inhomogeneity of the p-s-Degrees of Recursive Functions.Asae Mochizuki & Juichi Shinoda - 2000 - Mathematical Logic Quarterly 46 (3):385-392.
Primitive recursive equivalence relations and their primitive recursive complexity.Luca San Mauro, Nikolay Bazhenov, Keng Meng Ng & Andrea Sorbi - forthcoming - Computability.
On the Difficulty of Writing Out formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.
Inseparability in recursive copies.Kevin J. Davey - 1994 - Annals of Pure and Applied Logic 68 (1):1-52.
Possible degrees in recursive copies II.C. J. Ash & J. F. Knight - 1997 - Annals of Pure and Applied Logic 87 (2):151-165.
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 , pp. 105–118.Paul Axt - 1962 - Journal of Symbolic Logic 27 (2):245-246.
New borel independence results.Harvey Friedman - manuscript
Anthropological Essays - Anthropological Essays presented to E. B. Tylor in honour of his 75th birthday. By H. Balfour, A. E. Crawley, D. J. Cunningham, L. R. Farnell, J. G. Frazer, A. C. Haddon, E. S. Hartland, A. Lang, R. R. Marett, C. S. Myers, J. L. Myres, C. H. Read, SirJ. Rhys, W. Ridgeway, W. H. R. Rivers, C. G. Seligmann, and T. A. Toza, N. W. Thomas, A. Thomson, E. Westermarck. With a Bibliography by B. W. Freise-Marreco. Clarendon Press. [REVIEW]W. H. D. Rouse - 1908 - The Classical Review 22 (7):225-226.

Analytics

Added to PP
2009-01-28

Downloads
176 (#136,042)

6 months
5 (#1,050,400)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references