Article Dans Une Revue
Logical Methods in Computer Science
Année : 2006
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00334069
Soumis le : vendredi 24 octobre 2008-15:16:20
Dernière modification le : lundi 15 avril 2024-11:25:23
Dates et versions
Identifiants
- HAL Id : hal-00334069 , version 1
Citer
Bruno Courcelle. The monadic second-order logic of graphs XVI : Canonical graph decompositions. Logical Methods in Computer Science, 2006, 2, pp.1-46. ⟨hal-00334069⟩
Collections
68
Consultations
0
Téléchargements