Distributive rho-calculus.

Horatiu Cirstea Clément Houtmann Benjamin Wack

Published in: WRLA (2006)

Keyphrases

computer algebra
databases
algebraic structure
artificial neural networks
voronoi diagram
general theory
formal language
automated deduction
distributive lattices
learning algorithm
expert systems
relational calculus