Proposition algebra.

Jan A. Bergstra Alban Ponse

Published in: ACM Trans. Comput. Log. (2011)

Keyphrases

query language
algebraic expressions
data model
relational algebra
boolean algebra
algebraic geometry
real world
social networks
image processing
real time
neural network
data mining
artificial intelligence
multimedia
case study
relation algebra