Vertex-minors, monadic second-order logic, and a conjecture by Seese.

Bruno Courcelle Sang-il Oum

Published in: J. Comb. Theory, Ser. B (2007)

Keyphrases

monadic second order logic
expressive power
data complexity
first order logic
regular expressions
tree automata
directed graph
undirected graph
data model
query language
artificial intelligence
np complete
shortest path
query evaluation
context sensitive
finite automata