Liste des citations dans Numdam pour : The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992), p. 257-286 / Harvested from Numdam

Torre, Salvatore La ; Napoli, Margherita

Automata-based representations for infinite graphs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 35 (2001), p. 311-330 / Harvested from Numdam