๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Factors of Functions, AC and Recursive Analogues

โœ Scribed by Wolfgang Degen

Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
218 KB
Volume
48
Category
Article
ISSN
0044-3050

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
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 '