The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
Bruno Courcelle
(1, 2)
,
Christian Delhommé
(3, 4)
Bruno Courcelle
- Fonction : Auteur
- PersonId : 183291
- IdHAL : bruno-courcelle
- ORCID : 0000-0002-5545-8970
- IdRef : 026802422
Christian Delhommé
Connectez-vous pour contacter l'auteur
- Fonction : Auteur correspondant
- PersonId : 968995
Connectez-vous pour contacter l'auteur
Résumé
no abstract
Format du dépôt | Notice |
---|---|
Type de dépôt | Article dans une revue |
Titre |
en
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
|
Résumé |
en
no abstract
|
Auteur(s) |
Bruno Courcelle
1, 2
, Christian Delhommé
3, 4
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
4
LIM -
Laboratoire d'Informatique et de Mathématiques
( 54305 )
- Faculté des Sciences et Technologies - Université de la Réunion, 2, rue Joseph Wetzell 97490 Sainte-Clotilde
- France
|
Langue du document |
Anglais
|
Nom de la revue |
|
Volume |
394
|
Numéro |
1-2
|
Page/Identifiant |
1–38
|
Date de publication |
2008
|
Audience |
Internationale
|
Vulgarisation |
Non
|
Comité de lecture |
Oui
|
Domaine(s) |
|
Voir aussi |
|
DOI | 10.1016/j.tcs.2007.10.046 |
Loading...