Login / Signup

Baire Category Quantifier in Monadic Second Order Logic.

Henryk MichalewskiMatteo Mio
Published in: ICALP (2) (2015)
Keyphrases
  • monadic second order logic
  • expressive power
  • data complexity
  • tree automata
  • first order logic
  • regular expressions
  • quantifier elimination
  • query language
  • machine learning
  • low level
  • matching algorithm