✦ LIBER ✦

A Classification of the Recursive Functions

✍ Scribed by Albert R. Meyer; Dennis M. Ritchie

Publisher: John Wiley and Sons
Year: 1972
Tongue: English
Weight: 744 KB
Volume: 18
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19720180405

No coin nor oath required. For personal study only.

✦ Synopsis

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 ' ' Z,," as an abbreviation for "x1, x2, . . . , x,,".

📜 SIMILAR VOLUMES

RECURSIVE BAIRE CLASSIFICATION AND SPEED

RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS

✍ Cristian Calude; Gabriel Istrate; Marius Zimand 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 496 KB

## Abstract Using recursive variants of Baire notions of nowhere dense and meagre sets we study the topological size of speedable and infinitely often speedable functions in a machine‐independent framework. We show that the set of speedable functions is not “small” whereas the set of infinitely oft

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 recursive formula for the correlations

A recursive formula for the correlations of Walsh functions

✍ Ta-Mu Chien 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 356 KB

The correlation function of two Walsh functions appears in image processing, signal multiplexing, detection and spectral analysis using Walsh functions. Though Walsh functions are two-valued, their correlation functions are real-valued and rather diffccult to evaluate. A recursive formula is develop

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

Note on the 3-Recursive Functions

✍ Paul Axt 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 73 KB 👁 1 views