✦ LIBER ✦

A classification of the one-argument primitive recursive functions

✍ Scribed by Naumović, Jovan

Publisher: Springer-Verlag
Year: 1983
Weight: 629 KB
Volume: 23
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02023023

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On primitive recursive functions of a si

On primitive recursive functions of a single argument

✍ V. V. Koz'minykh 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 480 KB

Classes of One-Argument Recursive Functi

Classes of One-Argument Recursive Functions

✍ Nadejda V. Georgieva 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB 👁 1 views

A Hierarchy of Primitive Recursive Funct

A Hierarchy of Primitive Recursive Functions

✍ J. P. Cleave 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 758 KB

A Classification of the Recursive Functi

A Classification of the Recursive Functions

✍ Albert R. Meyer; Dennis M. Ritchie 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 744 KB

This research was supported in part by NSF Grant GP-2880, ARPA grant SD-146, and 2) We use L L C" to denote proper inclusion, and ''2" for improper inclusion. DSR 79457 under Project MAC. I) The operation of substitution consists of composition of functions and explicit transformation. \*) We use '

A classification of the ordinal recursiv

A classification of the ordinal recursive functions

✍ Wainer, S. S. 📂 Article 📅 1970 🏛 Springer-Verlag ⚖ 703 KB

A Macro Program for the Primitive Recurs

A Macro Program for the Primitive Recursive Functions

✍ Hilbert Levitz; Warren Nichols; Robert F. Smith 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB 👁 1 views