Login / Signup
Proofs in the Final Algebra.
Laurence Puel
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