Login / Signup

Algebras for correctness of sequential computations.

Walter Guttmann
Published in: Sci. Comput. Program. (2014)
Keyphrases
  • data mining
  • computer vision
  • database
  • real world
  • decision making
  • temporal reasoning