✦ LIBER ✦

An Exactification of the Monoid of Primitive Recursive Functions

✍ Scribed by Joachim Lambek; Philip Scott

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 205 KB
Volume: 81
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-005-2765-x

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

A Hierarchy of Primitive Recursive Funct

A Hierarchy of Primitive Recursive Functions

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

Class of algebras of primitive recursive

Class of algebras of primitive recursive functions

✍ V. L. Mikheev 📂 Article 📅 1973 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 547 KB

On the Algebraic Structure of Primitive

On the Algebraic Structure of Primitive Recursive Functions

✍ István Szalkai 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 349 KB

Comparing Hierarchies of Primitive Recur

Comparing Hierarchies of Primitive Recursive Sequence Functions

✍ E. Fachini; A. Maggiolo-Schettini 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 880 KB

Multiple recursions bounded in the class

Multiple recursions bounded in the class of primitive recursive functions

✍ S. S. Marchenkov 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 527 KB