Résultat de recherche par année
Profil personnel
Qualification académique
Maîtrise d'informatique, Faculté d'informatique
sept. 2015 → juin 2017
Empreinte digitale Examinez les sujets de recherche où Gonzague Yernaux est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.
Constraint Logic Programming
mathématiques
Logic programming
Ingénierie et Science des Matériaux
Unification
mathématiques
Computational complexity
Ingénierie et Science des Matériaux
Polynomials
Ingénierie et Science des Matériaux
Atoms
Ingénierie et Science des Matériaux
Unordered
mathématiques
Computing
mathématiques
Résultat de recherche 2019 2019
- 1 Article
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Résultats de recherche: Contribution à un journal/une revue › Article
Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
Prix
Jean Fichefet Price 2017
Gonzague Yernaux (Bénéficiaire), 17 nov. 2017
Prix: Prix (y compris les médailles et récompenses)
honors and awards
Activités 2019 2019
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)9 oct. 2019
Activité: Types de discours ou de présentation › Présentation orale
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 oct. 2019 → 10 oct. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Anti-unification in Constraint Logic Programming
Gonzague Yernaux (Orateur)22 sept. 2019
Activité: Types de discours ou de présentation › Présentation orale
35th International Conference on Logic Programming (ICLP 2019)
Gonzague Yernaux (Participant)20 sept. 2019 → 25 sept. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès