Enabledness and termination in refinement algebra.

Kim Solin Joakim von Wright

Published in: Sci. Comput. Program. (2009)

Keyphrases

query language
relational algebra
refinement process
case study
data model
term rewriting
algebraic geometry
algebraic expressions
decision trees
similarity measure
real numbers
step wise
rewrite systems