Login / Signup

Monadic Second Order Logic And Its Fragments.

Giacomo Lenzi
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
  • monadic second order logic
  • expressive power
  • data complexity
  • regular expressions
  • first order logic
  • tree automata
  • query language
  • lower bound