Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Research Group on the Foundations of Computer Science
Namur Digital Institute
Website
http://directory.unamur.be/entities/focus?_LOCALE_=en
Postal address
Show on map
5000
Belgium
Overview
Fingerprint
Network
Profiles
(3)
Projects
(37)
Research output
(192)
Activities
(147)
Prizes
(6)
Datasets
(10)
Student theses
(67)
Projects
Projects per year
1999
2010
2011
2014
2016
2019
2021
2027
1
Not started
9
Active
27
Finished
Projects per year
1 results
Status, start date
(descending)
Title
Start date
End date
Type
Status, start date
(ascending)
Filter
Not started
Search results
Not started
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, G.
&
Vanhoof, W.
Project
:
PHD
Unification
100%
Unification Problem
50%
Application
50%
Contexts
50%
Functionality
50%