Sign in

Asymptotic Monadic Second-Order Logic.

Achim BlumensathOlivier CartonThomas Colcombet
Published in: MFCS (1) (2014)
Keyphrases
  • monadic second order logic
  • expressive power
  • data complexity
  • tree automata
  • regular expressions
  • first order logic
  • query language
  • worst case
  • database
  • databases
  • relational databases