Complexité et décidabilité :: SCD d'Orléans

$Complexité et décidabilité$

Complexité et décidabilité

Guardat en:

Dades bibliogràfiques
Autor principal:	Dehornoy, Patrick, 1952-2019, mathématicien
Format:	Livre papier
Idioma:	Français
Publicat:	Paris ; Berlin ; New York [etc.] : Springer-Verlag C 1993.
Col·lecció:	Mathématiques et applications 12
Matèries:	Fonctions récursives Automates mathématiques, Théorie des Machines de Turing Algorithmes Complexité de calcul (informatique) Décidabilité (logique mathématique)
Nota:	Autre tirage : 2010
Autres localisations:	Voir dans le Sudoc

Ítems similars

Introduction to the theory of computation
per: Sipser, Michael
Publicat: (2006)

La machine de Turing
per: Turing, Alan Mathison, 1912-1954, et al.
Publicat: (1999)

Introduction à la calculabilité
per: Wolper, Pierre, 1955-
Publicat: (1991)

Introduction à la calculabilité : cours et exercices corrigés
per: Wolper, Pierre, 1955-
Publicat: (2001)

Calculabilité effective et algorithmique théorique
per: Vollat, Patrick
Publicat: (1989)

Logique et complexité
per: Lassaigne, Richard, et al.
Publicat: (1996)

Automata and computability
per: Kozen, Dexter C., 1951-
Publicat: (1997)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
per: Davis, Martin, 1928-2023, et al.
Publicat: (1965)

Turing machines with sublogarithmic space
per: Szepietowski, Andrzej, 19..-

Büchi's monadic second order successor arithmetic
per: Siefkes, Dirk
Publicat: (1970)

Büchi's monadic second order successor arithmetic
per: Siefkes, Dirk

Information, complexité et hasard
per: Delahaye, Jean-Paul, 1952-
Publicat: (1994)

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

Computability and logic
per: Boolos, George, 1940-1996, et al.
Publicat: (1974)

Complexité algorithmique : et problèmes de communications
per: Barthélemy, Jean-Pierre, 1945-, et al.
Publicat: (1992)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Automata studies
per: Shannon, Claude Elwood, 1916-2001
Publicat: (1956)

Complexité aléatoire et complexité organisée
per: Delahaye, Jean-Paul, 1952-
Publicat: (2009)

Komplexität von Entscheidungsproblemen : ein seminar
per: Specker, Ernst, 1920-2011
Publicat: (2005)

Complexités : aux limites des mathématiques et de l'informatique
per: Delahaye, Jean-Paul, 1952-
Publicat: (2006)

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

Computability and unsolvability
per: Davis, Martin, 1928-2023
Publicat: (1958)

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981

Cinq conférences sur l'indécidabilité
per: Bouleau, Nicolas, 1945-, et al.
Publicat: (1983)

Solvable cases of the decision problem
per: Ackermann, Wilhelm, 1896-1962
Publicat: (1954)

The nature of computation : logic, algorithms, applications : proceedings
Publicat: (2013)

Efficient checking of polynomials and proofs and the hardness of approximation problems
per: Sudan, Madhu

Logique(s), langages formels et complexité pour l'informatique
per: Jussien, Narendra, 1973-
Publicat: (2006)

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

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

Les théorèmes d'incomplétude de Gödel
per: Smullyan, Raymond Merrill, 1919-2017
Publicat: (2000)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
per: Leivant, Daniel

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

A mathematical introduction to logic
per: Enderton, Herbert, 1936-2010
Publicat: (1972)

Elements of the theory of computation
per: Lewis, Harry R., 1947-, et al.
Publicat: (1981)

CAAP '86 : 11th Colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986 : proceedings

Degrees of unsolvability
per: Sacks, Gerald, 1933-2019
Publicat: (1966)

Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981

Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983

© 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