Tuplix Calculus

Jan A. Bergstra Alban Ponse Mark van der Zwaag

Published in: CoRR (2007)

Keyphrases

relational calculus
machine learning
image processing
expressive power
provably correct
database
neural network
feature selection
first order logic
automated deduction
algebraic structure