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
Anti-unification of Unordered Goals
Gonzague Yernaux
,
Wim VANHOOF
Namur Digital Institute
Research Group on the Foundations of Computer Science
Faculty of Computer Science
Research output
:
Contribution to conference
›
Paper
›
peer-review
11
Downloads (Pure)
Overview
Fingerprint
Projects
(1)
Activities
(2)
Fingerprint
Dive into the research topics of 'Anti-unification of Unordered Goals'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Atoms
87%
Logic programming
100%
NP-hard
82%
Polynomials
65%
Syntactics
86%