Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Qualification académique

Maîtrise d'informatique, Faculté d'informatique

sept. 2015juin 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

3 Downloads (Pure)

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 revueArticle

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

  • 2 Participation à une conférence, un congrès
  • 2 Présentation orale

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)
9 oct. 2019

Activité: Types de discours ou de présentationPrésentation orale

29th International Symposium on Logic-Based Program Synthesis and Transformation

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 oct. 201910 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à 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ésentationPrésentation orale

35th International Conference on Logic Programming (ICLP 2019)

Gonzague Yernaux (Participant)
20 sept. 201925 sept. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès