Typing theorems of omega algebra.

Walter Guttmann

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

query language
data model
relational algebra
algebraic expressions
data mining
learning algorithm
algebraic structures
data sets
computer vision
knowledge base
decision trees
three dimensional
real numbers
algebraic structure
ordered sets