Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Filter
Article

Search results