The modular decomposition of countable graphs : Constructions in monadic second-order logic
Résumé
We define, and we construct in MSOL the modular decomposition of a countable graph.
Communication Dans Un Congrès
Année : 2005
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00353765
Soumis le : vendredi 16 janvier 2009-13:47:01
Dernière modification le : lundi 15 avril 2024-11:25:23
Dates et versions
Identifiants
- HAL Id : hal-00353765 , version 1
Citer
Bruno Courcelle, Christian Delhommé. The modular decomposition of countable graphs : Constructions in monadic second-order logic. Computer Science Logic, 2005, Oxford, United Kingdom. pp.325-338. ⟨hal-00353765⟩
Collections
186
Consultations
0
Téléchargements