Proofs in the Final Algebra.

Published in: CAAP (1984)

Keyphrases

real world
image processing
data model
databases
multiscale
learning environment
video sequences
query language
expressive power
relational algebra
theorem prover
natural deduction
mathematical knowledge
equational theories