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