Tuplix Calculus.

Jan A. Bergstra Alban Ponse Mark van der Zwaag

Published in: Sci. Ann. Comput. Sci. (2008)

Keyphrases

automated deduction
proof procedure
computer algebra
databases
machine learning
three dimensional
relational databases
provably correct