Graph structure and monadic second-order logic. A language-theoretic approach. - Archive ouverte HAL
Ouvrages Année : 2012

Graph structure and monadic second-order logic. A language-theoretic approach.

Résumé

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

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
TheBook.pdf (4.83 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Bruno Courcelle  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00646514

Soumis le : samedi 14 juin 2014-07:00:08

Dernière modification le : lundi 15 avril 2024-11:25:23

Archivage à long terme le : jeudi 1 mars 2012-02:25:58

Télécharger pour visualiser

Dates et versions

hal-00646514 , version 1 (14-06-2014)

Identifiants

  • HAL Id : hal-00646514 , version 1

Citer

Bruno Courcelle, Joost Engelfriet. Graph structure and monadic second-order logic. A language-theoretic approach.. Cambridge University Press, pp.728, 2012, Encyclopedia of Mathematics and its applications, Vol. 138, 978-0-521-89833-1. ⟨hal-00646514⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
579 Consultations
10268 Téléchargements

Partager

More