Recursion Theory and Algebra

Journal of Symbolic Logic 51 (1):229-232 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

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

Through your library

Similar books and articles

A blend of methods of recursion theory and topology.Iraj Kalantari & Larry Welch - 2003 - Annals of Pure and Applied Logic 124 (1-3):141-178.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
Characterizing NC with tier 0 pointers.Isabel Oitavem - 2004 - Mathematical Logic Quarterly 50 (1):9.
Safe recursion with higher types and BCK-algebra.Martin Hofmann - 2000 - Annals of Pure and Applied Logic 104 (1-3):113-166.
A Typed Prioritized Process Algebra.Alan Jeffrey - 1993 - Computer Science, School of Cognitive and Computing Sciences, University of Sussex.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Recursive constructions in topological spaces.Iraj Kalantari & Allen Retzlaff - 1979 - Journal of Symbolic Logic 44 (4):609-625.
Generalized recursion theory.Jens Erik Fenstad & Peter G. Hinman (eds.) - 1974 - New York,: American Elsevier Pub. Co..
Techniques of admissible recursion theory.C.-T. Chong - 1984 - New York: Springer Verlag.
Canonical Forms and Hierarchies in Generalized Recursion Theory.Phokion G. Kolaitis - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--139.

Analytics

Added to PP
2015-02-05

Downloads
24 (#677,549)

6 months
6 (#588,245)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.
Maximal theories.R. G. Downey - 1987 - Annals of Pure and Applied Logic 33 (C):245-282.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references