Login / Signup
On the Parameterised Intractability of Monadic Second-Order Logic
Stephan Kreutzer
Published in:
CoRR (2009)
Keyphrases
</>
monadic second order logic
expressive power
data complexity
np complete
regular expressions
first order logic
tree automata
query language
artificial intelligence
pattern matching
data sets
query answering
finite automata
machine learning
relational databases
np hard