Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Filter
Paper

Search results