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
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, Gonzague
(PI)
Vanhoof, Wim
(Supervisor)
Faculty of Computer Science
Namur Digital Institute
Research Group on the Foundations of Computer Science
Project
:
PHD
Overview
Fingerprint
Research output
(5)
Activities
(6)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Unification
100%
Unification Problem
50%
Application
50%
Contexts
50%
Functionality
50%
Logic Programming
41%
Computing
41%
Evaluation
25%
Programs
25%
Data-Value
25%
Roles
25%
Data-Flow Analysis
25%
Clone Detection
25%
Domains
25%
Programming Language
25%
Normalization
25%
Polynomial Time
16%
Variable Renaming
16%
Exist Algorithm
16%
Execution Time
16%
Naive Implementation
16%
Optimization Problem
16%
Syntactic Structure
16%
Arts and Humanities
Analytical Method
50%
Functionality
33%
Language
16%
Characterization
16%
Evaluation Study
16%
Evaluation
16%