Graph structure and monadic second-order logic. A language-theoretic approach.

Bruno Courcelle (1, 2) , Joost Engelfriet (3)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 IUF - Institut universitaire de France
3 LIACS - Leiden Institute of Advanced Computer Science [Leiden]

Livre sur les décompositions de graphes et la logique du second-ordre monadique. Applications algorithmiques et en théorie des langages. Cambridge University Press, Juin 2012

Mots clés: Logique; Largeur arborescente; largeur de clique; ensemble reconnaissable de graphes

Domaines: Logique en informatique [cs.LO]

Bruno Courcelle, Joost Engelfriet. Graph structure and monadic second-order logic. A language-theoretic approach.. Cambridge University Press, pp.728, 2012, Encyclopedia of Mathematics and its applications, Vol. 138, 978-0-521-89833-1. ⟨hal-00646514⟩