Algebraic recursion theory

New York: Halsted Press (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.6.I93 1986

ISBN(s)

0745801021

DOI

10.2307/2274589

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Categorial generalization of algebraic recursion theory (vol 101, pg 91, 1995).J. Zashev - 1999 - Journal of Symbolic Logic 64 (1):406-406.
L. L. Ivanov. Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications. Ellis Horwood Limited, Chichester, West Sussex, 1987 , also distributed by Halsted Press, John Wiley & Sons, New York etc., 256 pp. [REVIEW]Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Recursion theory on algebraic structures with independent sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.
A Typed Prioritized Process Algebra.Alan Jeffrey - 1993 - Computer Science, School of Cognitive and Computing Sciences, University of Sussex.
Recursion Theory as a Branch of Model Theory.R. Montague - 1973 - Journal of Symbolic Logic 38 (1):158-159.
Models for recursion theory.Johan Moldestad & Dag Normann - 1976 - Journal of Symbolic Logic 41 (4):719-729.
β-Recursion Theory.Sy D. Friedman - 1981 - Journal of Symbolic Logic 46 (3):664-665.
Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.

Analytics

Added to PP
2009-01-28

Downloads
23 (#983,168)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Spaces with combinators.N. Georgieva - 1993 - Archive for Mathematical Logic 32 (5):321-339.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.
Effectivizing Inseparability.John Case - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (7):97-111.

Add more citations

References found in this work

No references found.

Add more references