Login / Signup

The Complexity of First-Order and Monadic Second-Order Logic Revisited.

Markus FrickMartin Grohe
Published in: LICS (2002)
Keyphrases
  • first order logic
  • higher order
  • monadic second order logic
  • worst case
  • tree automata
  • natural language
  • computational complexity
  • data management
  • context sensitive