Login / Signup

Lower Bounds for the Complexity of Monadic Second-Order Logic.

Stephan KreutzerSiamak Tazari
Published in: LICS (2010)
Keyphrases
  • lower bound
  • worst case
  • upper bound
  • objective function
  • high level
  • database
  • lower and upper bounds
  • databases
  • context sensitive
  • data complexity
  • tree automata
  • average case complexity