H Graph structure and monadic second-order logic
Courcelle, Bruno ; Engelfriet, Joost
2012
xiv, 728 p. ; 24 cm
9780521898331
47235
méthode graphique ; langage formel ; logique mathématique ; combinatoire ; complexité ; algorithme de théorie des graphes
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 47235 | 1038935 | REFEN 01 138 |
Sous-titre : a language-theoretic approach
Type de doc : M
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : Encyclopedia of mathematics and its applications
N° dans la collection : 138
ISSN Collection : 0953-4806
Bibliographie : Bibliogr. p. 691-710
Class. Math. 2000 : 03-02 ; 03B15 ; 03D05 ; 05C90 ; 05-02 ; 68Q25 ; 68R10
Class. Library : QA9.C748
N° LCCCN : 2012008159
Class. Dewey : 511.3
Lien SUDOC : https://www.sudoc.fr/162391617