Login / Signup
On the Parameterized Intractability of Monadic Second-Order Logic
Stephan Kreutzer
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
monadic second order logic
expressive power
data complexity
np complete
regular expressions
first order logic
tree automata
query answering
query processing
np hard
query language
learning algorithm
pattern matching