2 search results - page 1 / 1 » Vertex-minors, monadic second-order logic, and a conjecture ... |
JCT
2007
13 years 10 months ago
2007
We prove that one can express the vertex-minor relation on finite undirected graphs by formulas of monadic second-order logic (with no edge set quantification) extended with a p...
JAPLL
2006
13 years 10 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...