Effective operations on partial recursive functions

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19550010407

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
Myhill J. and Shepherdson J. C.. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 , pp. 310–317. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.
A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.
A Macro Program for the Primitive Recursive Functions.Hilbert Levitz, Warren Nichols & Robert F. Smith - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (8):121-124.
Classes of One-Argument Recursive Functions.Nadejda V. Georgieva - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):127-130.
Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):349-359.
Comparing Hierarchies of Primitive Recursive Sequence Functions.E. Fachini & A. Maggiolo-Schettini - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):431-445.
Universal functions in partial structures.Maurizio Negri - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):253-268.

Analytics

Added to PP
2016-02-04

Downloads
45 (#107,894)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references