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