Projets par an
Projets
- 1 Terminé
Résultats de recherche
-
Terminé
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
1/10/18 → 4/09/25
Projet: Projet de thèse