Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Project Details

StatusNot started