Login / Signup

Monadic second-order logic on finite sequences.

Loris D'AntoniMargus Veanes
Published in: POPL (2017)
Keyphrases
  • hidden markov models
  • monadic second order logic
  • expert systems
  • expressive power
  • high level
  • sequential patterns
  • databases
  • dynamic programming
  • first order logic
  • autonomous agents
  • biological sequences