Recursion-theoretic hierarchies :: SCD d'Orléans

Recursion-theoretic hierarchies

Recursion-theoretic hierarchies

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hinman, Peter G.
Format:	Livre papier
Sprache:	Anglais
Veröffentlicht:	Berlin ; Heidelberg ; New York : Springer-Verlag 1978.
Schriftenreihe:	Perspectives in mathematical logic
Schlagworte:	Récursivité, théorie de la
Autres localisations:	Voir dans le Sudoc

Ähnliche Einträge

Recursive analysis
von: Goodstein, Reuben Louis, 1912-1985
Veröffentlicht: (1961)

General recursion theory : an axiomatic approach
von: Fenstad, Jens Erik, 1935-2020
Veröffentlicht: (1980)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Veröffentlicht: (1974)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Veröffentlicht: (1978)

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

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

Induction, recursion, and programming
von: Wand, Mitchell
Veröffentlicht: (1980)

Theory of recursive functions and effective computability
von: Rogers, Hartley, 1926-2015
Veröffentlicht: (1967)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Veröffentlicht: (1967)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

The recursion method : application to many-body dynamics
von: Viswanath, V.S, et al.

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
von: Lolli, Gabriele, 1942-
Veröffentlicht: (2011)

Recursive methods in economic dynamics
von: Stokey, Nancy L., et al.
Veröffentlicht: (1989)

Recursiveness
von: Eilenberg, Samuel, 1913-1998, et al.
Veröffentlicht: (1970)

Subrecursion : functions and hierarchies
von: Rose, Harvey Ernest, 1936-
Veröffentlicht: (1984)

Récursivité
von: Azra, Jean-Pierre, et al.
Veröffentlicht: (1973)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Veröffentlicht: (1977)

Set Theory and Hierarchy Theory V

First-order dynamic logic
von: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
von: Todorčević, Stevo, 1955-...., mathématicien

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Degrees of unsolvability
von: Sacks, Gerald, 1933-2019
Veröffentlicht: (1966)

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Veröffentlicht: (1977)

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

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Veröffentlicht: (1980)

Cybernetique d’une theorie de la connaissance
von: Foerster, Heinz von
Veröffentlicht: (2015)

Le développement de la compréhension de la discontinuité entre l'actuel et le virtuel dans les images
von: Thommen, Évelyne, et al.
Veröffentlicht: (2002)

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

Group theoretic methods in bifurcation theory
von: Sattinger, David H., 1940-, et al.
Veröffentlicht: (1979)

Set-theoretic methods in control
von: Blanchini, Franco, et al.
Veröffentlicht: (2008)

Option informatique : cours complet pour la Sup MPSI
von: Monasse, Denis, 1950-
Veröffentlicht: (1996)

Group Theoretic Methods in Bifurcation Theory
von: Sattinger, David H., 1940-, et al.

Stochastic approximation and recursive estimation
von: Nevel'son, Mikhail Solomonovich, 19..-, et al.
Veröffentlicht: (1973)

Altérité, géographie, médias : une étude de Terre solitaire de Tiziana Panizza
von: Cisneros, James
Veröffentlicht: (2021)

Chaînes d’énonciateurs et modes d’organisation textuels : du discours rapporté à la circulation re-marquée des discours
von: Rosier, Laurence
Veröffentlicht: (2009)

Model theoretic algebra : selected topics
von: Cherlin, Gregory L., 1948-...., mathématicien

An introduction to game-theoretic modelling
von: Mesterton-gibbons, Michael
Veröffentlicht: (1991)

Operator theoretic aspects of ergodic theory
von: Eisner, Tanja, et al.
Veröffentlicht: (2015)

© 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