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
Document type :
Books
Complete list of metadatas

Cited literature [146 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00646514
Contributor : Bruno Courcelle <>
Submitted on : Saturday, June 14, 2014 - 7:00:08 AM
Last modification on : Thursday, April 4, 2019 - 10:18:04 AM
Long-term archiving on: Thursday, March 1, 2012 - 2:25:58 AM

File

TheBook.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

709

Files downloads

10038