Projects
Search results
-
Not started
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
Project: PHD
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
Project: PHD