m
MathOuvrage

H 0 Graph structure and monadic second-order logic

Courcelle, Bruno ; Engelfriet, Joost

Cambridge university Press

2012

xiv, 728 p. ; 24 cm

9780521898331

47235

méthode graphique ; langage formel ; logique mathématique ; combinatoire ; complexité ; algorithme de théorie des graphes


Exemplaires

Nbre d'exemplaires : 1
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

Z