Login / Signup
On the Parameterised Intractability of Monadic Second-Order Logic.
Stephan Kreutzer
Published in:
CSL (2009)
Keyphrases
</>
monadic second order logic
expressive power
data complexity
regular expressions
np complete
tree automata
first order logic
query language
pattern matching
query answering
data mining
optimal solution
data exchange
conjunctive queries