The modular decomposition of countable graphs : Constructions in monadic second-order logic
Bruno Courcelle
(1, 2)
,
Christian Delhommé
(3)
Bruno Courcelle
- Fonction : Auteur
- PersonId : 183291
- IdHAL : bruno-courcelle
- ORCID : 0000-0002-5545-8970
- IdRef : 026802422
Christian Delhommé
- Fonction : Auteur
- PersonId : 968995
Résumé
We define, and we construct in MSOL the modular decomposition of a countable graph.
Domaines
Logique en informatique [cs.LO]Format du dépôt | Notice |
---|---|
Type de dépôt | Communication dans un congrès |
Titre |
en
The modular decomposition of countable graphs : Constructions in monadic second-order logic
|
Résumé |
en
We define, and we construct in MSOL the modular decomposition of a countable graph.
|
Auteur(s) |
Bruno Courcelle
1, 2
, Christian Delhommé
3
1
LaBRI -
Laboratoire Bordelais de Recherche en Informatique
( 3102 )
- Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex
- France
2
IUF -
Institut universitaire de France
( 56663 )
- Maison des Universités 103 Boulevard Saint-Michel 75005 Paris
- France
3
ERMIT -
Equipe Réunionnaise de Mathématiques et Informatique Théorique
( 6210 )
- LIM : Laboratoire d'informatique et de mathématiques - 15, av. René Cassin BP 7151 97715 Saint-Denis Messag Cedex 9
- La Réunion
|
Vulgarisation |
Non
|
Comité de lecture |
Oui
|
Actes |
Oui
|
Invité |
Non
|
Langue du document |
Anglais
|
Date de production/écriture |
2005
|
Titre de l'ouvrage |
Proceedings of Computer Science Logic 2005
|
Audience |
Internationale
|
Date de publication |
2005
|
Volume |
3634
|
Page/Identifiant |
325-338
|
Titre de la collection |
Lecture Notes in Computer Science
|
Titre du congrès |
Computer Science Logic
|
Date début congrès |
2005
|
Ville |
Oxford
|
Pays |
Royaume-Uni
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
Mots-clés |
en
modular decomposition, monadic second-order logic, countable graph
|
Loading...