Computation and automata / Arto Salomaa

Public ISBD Titre : Computation and automata Type de document : texte imprimé Auteurs : Arto Salomaa (1934-....) Editeur : Cambridge : Cambridge University Press Année de publication : 1985 Collection : Encyclopedia of Mathematics and Its Applications num. 25 Importance : xiii, 284 p. Format : 24 cm. ISBN/ISSN/EAN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie Computation and automata [texte imprimé] / Arto Salomaa (1934-....) . - Cambridge : Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) . ISBN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18556	68C358	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computational complexity / Christos H. Papadimitriou

Public ISBD Titre : Computational complexity Type de document : texte imprimé Auteurs : Christos H. Papadimitriou Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : xv - 523 p. ISBN/ISSN/EAN : 978-0-201-53082-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation Mots-clés : np-complete problems  turing machines  complexity theory Index. décimale : 68C Monographie Computational complexity [texte imprimé] / Christos H. Papadimitriou . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1995 . - xv - 523 p. ISBN : 978-0-201-53082-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation Mots-clés : np-complete problems  turing machines  complexity theory Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16260	68C279	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Rekursive funktionen und ihre komplexität / Schnorr, C. P.

Public ISBD Titre : Rekursive funktionen und ihre komplexität Type de document : texte imprimé Auteurs : Schnorr, C. P. Editeur : Leipzig : B.G. Teubner Année de publication : 1974 Collection : Teubner Studienbücher Informatik Importance : 191 p. ISBN/ISSN/EAN : 978-3-519-02322-7 Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies Mots-clés : computer science  analysis of algorithms  mathematical logic  recursive functions Index. décimale : 03C Monographie Rekursive funktionen und ihre komplexität [texte imprimé] / Schnorr, C. P. . - Leipzig : B.G. Teubner, 1974 . - 191 p.. - (Teubner Studienbücher Informatik) . ISBN : 978-3-519-02322-7 Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies Mots-clés : computer science  analysis of algorithms  mathematical logic  recursive functions Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9209	03C50	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Selecta mathematica. II / Jacobs, K.

Public ISBD Titre : Selecta mathematica. II Type de document : texte imprimé Auteurs : Jacobs, K. Editeur : Berlin-Heidelberg-New York : Springer Verlag Année de publication : 1970 Collection : Heidelberger Taschenbücher num. 67 Importance : .XI - 185 p. Langues : Allemand Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions Index. décimale : 03B Publication collective Selecta mathematica. II [texte imprimé] / Jacobs, K. . - Berlin-Heidelberg-New York : Springer Verlag, 1970 . - .XI - 185 p.. - (Heidelberger Taschenbücher; 67) . Langues : Allemand Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions Index. décimale : 03B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13934	03B01	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Selecta mathematica. Vol. I / Jacobs, K. Ed.

Public ISBD Titre : Selecta mathematica. Vol. I Type de document : texte imprimé Auteurs : Jacobs, K. Ed. Editeur : Springer-Verlag Année de publication : 1968 Collection : Heidelberger Taschenbücher num. 49 Importance : xi - 149 p. Langues : Allemand Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions Mots-clés : turing machines and related notions Index. décimale : 03C Monographie Selecta mathematica. Vol. I [texte imprimé] / Jacobs, K. Ed. . - [S.l.] : Springer-Verlag, 1968 . - xi - 149 p.. - (Heidelberger Taschenbücher; 49) . Langues : Allemand Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions Mots-clés : turing machines and related notions Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5085	03C148	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

the Undecidability of the domino problem / Berger, Robert

Permalink

---

page 1/1