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
Type de document :
Ouvrage (y compris édition critique et traduction)
Cambridge University Press, pp.728, 2012, Encyclopedia of Mathematics and its applications, Vol. 138, 978-0-521-89833-1
Liste complète des métadonnées

Littérature citée [146 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00646514
Contributeur : Bruno Courcelle <>
Soumis le : samedi 14 juin 2014 - 07:00:08
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : jeudi 1 mars 2012 - 02:25:58

Fichier

TheBook.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00646514, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

623

Téléchargements de fichiers

4538