 |
|
|
|
| HAL : hal-00646514, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Graph structure and monadic second-order logic. A language-theoretic approach. |
|
|
| Bruno Courcelle 1, 2Joost Engelfriet 3 |
|
|
| (30/04/2011) |
|
|
|
| Livre sur les décompositions de graphes et la logique du second-ordre monadique. Applications algorithmiques et en théorie des langages. A paraître en 2012, Cambridge University Press. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
| 2 : | Institut Universitaire de France (IUF) |
|
|
|
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique |
|
|
| 3 : | Leiden Institute of Advanced Computer Science (LIACS) |
|
|
|
Leiden University |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| Logique – Largeur arborescente – largeur de clique – ensemble reconnaissable de graphes |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00646514, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00646514 | |
| oai:hal.archives-ouvertes.fr:hal-00646514 | |
| Contributeur : Bruno Courcelle | |
| Soumis le : Mercredi 30 Novembre 2011, 10:24:57 | |
| Dernière modification le : Mercredi 30 Novembre 2011, 11:16:48 | |
