✦ LIBER ✦

Embedding Properties of Total Recursive Functions

✍ Scribed by W. Maier; W. Menzel; V. Sperschneider

Publisher: John Wiley and Sons
Year: 1982
Tongue: English
Weight: 549 KB
Volume: 28
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19820283311

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchies of Primitive Recursive Funct

Hierarchies of Primitive Recursive Functions

✍ Charles Parsons 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 972 KB

9 Yn), ~1 , \* \* . ? ~n l then the definition of 97 is of degree max ( p ) q) + 1 . l) l ) We omit from consideration the schema for recursion without pareymeters. It can be accommodated into our arguments by simplified versions of the arguments for (V), or it can be omitted as a primitive schema w

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

Complexity classes of provable recursive

Complexity classes of provable recursive functions

✍ Dan Gordon 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 582 KB

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 '

Factors of Functions, AC and Recursive A

Factors of Functions, AC and Recursive Analogues

✍ Wolfgang Degen 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 218 KB