Projets par an
Résultats de recherche
-
Pas commencé
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
Projet: Projet de thèse