Thèse
- 1 résultats
Résultats de recherche
-
Equivalence algorithmique par transformations de programmes logiques avec contraintes
Auteur: Yernaux, G., 23 juin 2017Superviseur: Cleve, A. (Président), Vanhoof, W. (Promoteur) & Schobbens, P. (Jury)
Student thesis: Master types › Master en sciences informatiques
Fichier