Monadic second-order definable graph orderings - Archive ouverte HAL Accéder directement au contenu
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)

Dates et versions

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

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⟩

Collections

CNRS LIAFA
129 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More