 |
|
|
|
| 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. (2012) 728 |
|
|
|
|
| Graph structure and monadic second-order logic. A language-theoretic approach. |
|
|
| Bruno Courcelle 1, 2Joost Engelfriet 3 |
|
|
| (14/06/2012) |
|
|
|
| Livre sur les décompositions de graphes et la logique du second-ordre monadique. Applications algorithmiques et en théorie des langages. Cambridge University Press, Juin 2012 |
|
|
|
|
|
|
|
|
|
|
|
| 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 |
|
| 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 | |
| Fichier(s) disponible le : 14/06/2014 | |
| Dernière modification le : Lundi 18 Juin 2012, 11:43:41 | |
