Subrecursion : :: SCD d'Orléans

Subrecursion : functions and hierarchies

Subrecursion : functions and hierarchies

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Rose, Harvey Ernest, 1936-
Format:	Livre papier
Sprog:	Anglais
Udgivet:	Oxford [Oxfordshire] : New York : Clarendon Press ; Oxford University Press 1984.
Serier:	Oxford logic guides 9 Oxford science publications
Fag:	Fonctions récursives Récursivité, théorie de la Fonctions calculables
Autres localisations:	Voir dans le Sudoc

Lignende værker

Theory of recursive functions and effective computability
af: Rogers, Hartley, 1926-2015
Udgivet: (1967)

Récursivité
af: Azra, Jean-Pierre, et autres
Udgivet: (1973)

Techniques of Admissible Recursion Theory
af: Chong, Chi-Tat, 1949-...., mathématicien

Degrees of unsolvability
af: Sacks, Gerald, 1933-2019
Udgivet: (1966)

Recursive methods in economic dynamics
af: Stokey, Nancy L., et autres
Udgivet: (1989)

Recursion on the countable functionals
af: Normann, Dag, 1947-

Computability
af: Tourlakis, George J., 1946-
Udgivet: (1984)

Computability
af: Weihrauch, Klaus, 1943-
Udgivet: (1987)

Leçons sur les fonctions calculables
af: Uspenskij, Vladimir Andreevič, 1930-2018
Udgivet: (1966)

La machine de Turing
af: Turing, Alan Mathison, 1912-1954, et autres
Udgivet: (1999)

Computability and unsolvability
af: Davis, Martin, 1928-2023
Udgivet: (1958)

Introduction à la calculabilité
af: Wolper, Pierre, 1955-
Udgivet: (1991)

Computability and logic
af: Boolos, George, 1940-1996, et autres
Udgivet: (1974)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
af: Davis, Martin, 1928-2023, et autres
Udgivet: (1965)

Calculabilité effective et algorithmique théorique
af: Vollat, Patrick
Udgivet: (1989)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
af: Goodstein, Reuben Louis, 1912-1985
Udgivet: (1964)

Fibonacci and related number theoretic tables
Udgivet: (1972)

Computations in higher types
af: Moldestad, Johan, 1946-
Udgivet: (1977)

Fonctions récursives
af: Grzegorczyk, Andrzej, 1922-...., philosophe
Udgivet: (1961)

Complexité et décidabilité
af: Dehornoy, Patrick, 1952-2019, mathématicien
Udgivet: (1993)

Recursive function theory and logic
af: Yasuhara, Ann Harris, 1932-2014
Udgivet: (1971)

Computations in higher types
af: Moldestad, Johan, 1946-

Enumerability, decidability, computability : an introduction to the theory of recursive functions
af: Hermes, Hans, 1912-2003
Udgivet: (1965)

Recursion-theoretic hierarchies
af: Hinman, Peter G.
Udgivet: (1978)

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
af: Lolli, Gabriele, 1942-
Udgivet: (2011)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Udgivet: (1965)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
Udgivet: (1976)

Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975

Altérité, géographie, médias : une étude de Terre solitaire de Tiziana Panizza
af: Cisneros, James
Udgivet: (2021)

Complex analytic geometry
af: Fischer, Gerd, 1939-
Udgivet: (1976)

Mathematical foundations of programming
af: Beckman, Frank S., 1921-2009
Udgivet: (1980)

Recursiveness
af: Eilenberg, Samuel, 1913-1998, et autres
Udgivet: (1970)

General recursion theory : an axiomatic approach
af: Fenstad, Jens Erik, 1935-2020
Udgivet: (1980)

Recursive analysis
af: Goodstein, Reuben Louis, 1912-1985
Udgivet: (1961)

Complex analytic geometry
af: Fischer, Gerd, 1939-

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
af: Cori, René, 1949-...., mathématicien, et autres
Udgivet: (2003)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
af: Karpiński, Marek

Degrees of unsolvability
af: Shoenfield, Joseph Robert, 1927-2000
Udgivet: (1971)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Udgivet: (1978)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Udgivet: (1974)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales