A simple correctness proof for magic transformation.

Wlodzimierz Drabent

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

databases
neural network
multimedia
website
provably correct
decision trees
database systems
highly reliable
linear logic