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

Bruno Courcelle

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

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00334050
Contributor : Bruno Courcelle Connect in order to contact the contributor
Submitted on : Friday, October 24, 2008 - 3:12:36 PM
Last modification on : Saturday, June 25, 2022 - 10:30:57 AM

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

Identifiers

Collections

Citation

Export

Metrics

58

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

Identifiers

Collections

Citation

Export

Share

Metrics

58