Graph structure and monadic second-order logic. A language-theoretic approach. - Archive ouverte HAL
Books Year : 2012

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

Abstract

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

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
TheBook.pdf (4.83 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Bruno Courcelle  : Connect in order to contact the contributor

https://hal.science/hal-00646514

Submitted on : Saturday, June 14, 2014-7:00:08 AM

Last modification on : Monday, April 15, 2024-11:25:23 AM

Long-term archiving on : Thursday, March 1, 2012-2:25:58 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-00646514 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
584 View
10317 Download

Share

More