Login / Signup

Probabilistic Real-Time Rewrite Theories and Their Expressive Power.

Lucian BenteaPeter Csaba Ölveczky
Published in: FORMATS (2011)
Keyphrases
  • expressive power
  • first order logic
  • data complexity
  • query language
  • computational properties
  • transitive closure
  • relational algebra
  • relational calculus
  • bayesian networks
  • probability theory