Automata on infinite objects and church's problem / Michael O. Rabin

Public ISBD Titre : Automata on infinite objects and church's problem Type de document : texte imprimé Auteurs : Michael O. Rabin Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1972 Collection : Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642 num. 13 Importance : 22 p. ISBN/ISSN/EAN : 978-0-8218-1663-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  automata theory in connection with logical questions  church's problem Index. décimale : 03B Publication collective Automata on infinite objects and church's problem [texte imprimé] / Michael O. Rabin . - Providence, R.I. : American Mathematical Society, 1972 . - 22 p.. - (Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642; 13) . ISBN : 978-0-8218-1663-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  automata theory in connection with logical questions  church's problem Index. décimale : 03B Publication collective

Exemplaires

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

Graph structure and monadic second-order logic / Bruno Courcelle

Public ISBD Titre : Graph structure and monadic second-order logic : a language-theoretic approach Type de document : texte imprimé Auteurs : Bruno Courcelle, Auteur ; Joost Engelfriet, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2012 Collection : Encyclopedia of Mathematics and Its Applications num. 138 Importance : xiv - 728 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-89833-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions Mots-clés : mathematical logic  Higher-order logic Index. décimale : 03C Monographie Graph structure and monadic second-order logic : a language-theoretic approach [texte imprimé] / Bruno Courcelle, Auteur ; Joost Engelfriet, Auteur . - Cambridge : Cambridge University Press, 2012 . - xiv - 728 p. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 138) . ISBN : 978-0-521-89833-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions Mots-clés : mathematical logic  Higher-order logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20815	03C186	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	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

---

page 1/1