Article Dans Une Revue Logical Methods in Computer Science Année : 2014

Monadic second-order definable graph orderings

Résumé

We examine combinatorial consitions of a graph class making it possible to define a linear order of each of its graphs by monadic second-order formulas, with or without edge quantifications. Our results concern graph classes excluding a minor and particular classes of cographs and chordal graphs.

Fichier principal
Vignette du fichier
MSOorderings.pdf (378.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00649990 , version 1 (09-12-2011)

Licence

Identifiants

  • HAL Id : hal-00649990 , version 1

Citer

Achim Blumensath, Bruno Courcelle. Monadic second-order definable graph orderings. Logical Methods in Computer Science, 2014, 10 (1-2), pp.1-36. ⟨hal-00649990⟩
216 Consultations
233 Téléchargements

Partager

  • More