Sciweavers

Share
2 search results - page 1 / 1
» Vertex-minors, monadic second-order logic, and a conjecture ...
Sort
View
JCT
2007
107views more  JCT 2007»
10 years 1 months ago
Vertex-minors, monadic second-order logic, and a conjecture by Seese
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...
Bruno Courcelle, Sang-il Oum
JAPLL
2006
114views more  JAPLL 2006»
10 years 1 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
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...
Bruno Courcelle
books