Investigations on the Dual Calculus.

Nikos Tzevelekos

Published in: Theor. Comput. Sci. (2006)

Keyphrases

provably correct
database
learning algorithm
multiscale
primal dual
spatial reasoning
digital forensics
relational calculus