Recursion Theory Week : :: SCD d'Orléans

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

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

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory,...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Recursion theory week :Oberwolfach, Germany
Weitere Verfasser:	Ambos-Spies, Klaus (Verlagsleitung), Müller, Gert Heinz, 1923-2006 (Verlagsleitung), Sacks, Gerald, 1933-2019 (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in mathematics 1432
Schlagworte:	Logique symbolique et mathématique Théorie de la récursivité Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Recursion theory week, proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989, K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.), 1990, Berlin, Springer-Verlag, 1 vol. (VI-393 p.), Lecture notes in mathematics, 3-540-52772-9 • Recursion Theory Week, Texte imprimé, 9783662178553

Ähnliche Einträge

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

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

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

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)

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)

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

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

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

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

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

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

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

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

Recursion-theoretic hierarchies
von: Hinman, Peter G.
Veröffentlicht: (1978)

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

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

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

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

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

Set Theory and Hierarchy Theory V

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

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

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

Recursive function theory and logic
von: Yasuhara, Ann Harris, 1932-2014
Veröffentlicht: (1971)

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10 21, 1987

Category Theory : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6 10, 1981

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

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
von: Fuhrmann, André

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Veröffentlicht: (1970)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Veröffentlicht: (2005)

Classification Theory : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 19, 1985

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Category Theory : Proceedings of the International Conference held in Como, Italy, July 22 28, 1990

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Veröffentlicht: (1975)

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

The theory of models : proceedings of the 1963 International symposium at Berkeley
Veröffentlicht: (1965)

Category theory and computer science : 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4 6, 1997 : proceedings

© 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