Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, Gonzague
(Responsable du Projet)
Vanhoof, Wim
(Promoteur)
Faculte d'informatique
Namur Digital Institute
Research Group on the Foundations of Computer Sciences
Projet
:
Projet de thèse
Aperçu
Empreinte digitale
Résultat de recherche
(5)
Activités
(6)
Activités
Activités par an
2019
2019
2022
2023
5
Présentation orale
1
Participation à une conférence, un congrès
Activités par an
0 résultats
Titre
(par ordre croissant)
Titre
(par ordre décroissant)
Date de début
Résultats de recherche