-Calculus: Extended Abstract.

Daniele Varacca Nobuko Yoshida

Published in: MFPS (2006)

Keyphrases

extended abstract
automated deduction
information systems
algebraic structure
real world
databases
multiscale
relational databases
decision trees
image segmentation
formal language