Login / Signup

Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.

Ernst-Erich Doberkat
Published in: TAMC (2009)
Keyphrases
  • special case
  • machine learning
  • data model
  • query language
  • object oriented