Bruno Courcelle, « The monadic second-order logic of graphs. I. Recognizable sets of finite graphs », Information and Computation, vol. 85, no 1, , p. 12–75 (DOI10.1016/0890-5401(90)90043-H, MR1042649).
doi.org
dx.doi.org
Bruno Courcelle, « The monadic second-order logic of graphs. I. Recognizable sets of finite graphs », Information and Computation, vol. 85, no 1, , p. 12–75 (DOI10.1016/0890-5401(90)90043-H, MR1042649).
(en) Bruno Courcelle, « Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects », Automata, Languages and Programming, Springer, Berlin, Heidelberg, lecture Notes in Computer Science, , p. 1–13 (ISBN9783540705741, DOI10.1007/978-3-540-70575-8_1, présentation en ligne).
Michael Lampis, « Algorithmic meta-theorems for restrictions of treewidth », dans Mark de Berg et Ulrich Meyer (éditeurs), Proc. 18th Annual European Symposium on Algorithms, Springer, coll. « Lecture Notes in Computer Science » (no 6346), (DOI10.1007/978-3-642-15775-2_47), p. 549–560DOI10.1007/978-3-642-15775-2_47.
springer.com
link.springer.com
(en) Bruno Courcelle, « Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects », Automata, Languages and Programming, Springer, Berlin, Heidelberg, lecture Notes in Computer Science, , p. 1–13 (ISBN9783540705741, DOI10.1007/978-3-540-70575-8_1, présentation en ligne).