The modular decomposition of countable graphs. Definition and construction in monadic second-order logic

Bruno Courcelle 1, 2 Christian Delhommé 3, 4
1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 IUF - Institut Universitaire de France
3 ERMIT - Equipe Réunionnaise de Mathématiques et Informatique Théorique
4 LIM - Laboratoire d'Informatique et de Mathématiques
Abstract : no abstract
Document type :
Journal articles
Liste complète des métadonnées
http://hal.univ-reunion.fr/hal-01186190
Contributor : Nicolas Alarcon <>
Submitted on : Monday, August 24, 2015 - 2:29:56 PM
Last modification on : Friday, April 12, 2019 - 10:18:09 AM

Links full text

openaccess

Identifiers

Collections

UNIV-REUNION | INSMI | LABRI | LIM | PAPANGUE | UNIV-BORDEAUX

Citation

Bruno Courcelle, Christian Delhommé. The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Theoretical Computer Science, Elsevier, 2008, 394 (1-2), pp.1-38. ⟨10.1016/j.tcs.2007.10.046⟩. ⟨hal-01186190⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

159

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD