On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic

Stephan Kreutzer Siamak Tazari

Published in: CoRR (2009)

Keyphrases

monadic second order logic
expressive power
grid computing
regular expressions
data complexity
np complete
first order logic
fuzzy logic
learning algorithm
database systems
expert systems
special case