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
Research Group on the Foundations of Computer Sciences
Namur Digital Institute
Site Web
http://directory.unamur.be/entities/focus?_LOCALE_=fr
adresse postale
Afficher sur la carte
5000
Belgique
Aperçu
Empreinte digitale
Réseau
Profils
(4)
Projets
(36)
Résultat de recherche
(192)
Activités
(147)
Prix
(6)
Ensembles de données
(10)
Thèses de l'étudiant
(67)
Projets
Projets par an
1999
2010
2011
2014
2016
2019
2021
2027
1
Pas commencé
9
Actif
26
Terminé
Projets par an
1 résultats
Statut, date de début
(par ordre décroissant)
Titre
Date de début
Date de fin
Type
Statut, date de début
(par ordre croissant)
Filtrer
Pas commencé
Résultats de recherche
Pas commencé
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G.
&
Vanhoof, W.
Projet
:
Projet de thèse
Unification
100%
Unification Problem
50%
Application
50%
Contexts
50%
Functionality
50%