Coinduction for preordered algebra.

Razvan Diaconescu

Published in: Inf. Comput. (2011)

Keyphrases

query language
relational algebra
data model
multimedia
lower bound
boolean algebra
algebraic geometry
algebraic expressions
case study
video sequences
algebraic operations