General Correctness Algebra.

Walter Guttmann

Published in: RelMiCS (2009)

Keyphrases

special case
closely related
wide range
database
real time
decision making
case study
learning environment
search algorithm
preprocessing
algebraic geometry