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
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2008, 394 (1-2), pp.1-38. 〈10.1016/j.tcs.2007.10.046〉
Liste complète des métadonnées
http://hal.univ-reunion.fr/hal-01186190
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:29:56
Dernière modification le : mardi 17 avril 2018 - 11:48:04

Lien texte intégral

openaccess

Identifiants

Collections

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

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

92