Login / Signup

Expressiveness and Closure Properties for Quantitative Languages.

Krishnendu ChatterjeeLaurent DoyenThomas A. Henzinger
Published in: LICS (2009)
Keyphrases
  • closure properties
  • expressive power
  • query language
  • first order logic
  • tree automata
  • conjunctive queries
  • reinforcement learning
  • query processing
  • markov chain