Skip to Main content Skip to Navigation
Journal articles

The monadic second-order logic of graphs XV : On a conjecture by D. Seese

Bruno Courcelle 1, 2
1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 IUF - Institut Universitaire de France
Keywords : monadic second-order logic transduction comparability graph clique-width
Document type :
Journal articles
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00334050
Contributor : Bruno Courcelle <>
Submitted on : Friday, October 24, 2008 - 3:12:36 PM
Last modification on : Tuesday, March 17, 2020 - 3:42:13 PM

Identifiers

  • HAL Id : hal-00334050, version 1

Collections

CNRS | LABRI | UNIV-BORDEAUX

Citation

Bruno Courcelle. The monadic second-order logic of graphs XV : On a conjecture by D. Seese. Journal of Applied Logic, Elsevier, 2006, 4, pp.79-114. ⟨hal-00334050⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

158