If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Master of Computing, Faculty of Computer Science

Sep 2015Jun 2017

Fingerprint Dive into the research topics where Gonzague Yernaux is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Constraint Logic Programming Mathematics
Logic programming Engineering & Materials Science
Unification Mathematics
Computational complexity Engineering & Materials Science
Polynomials Engineering & Materials Science
Atoms Engineering & Materials Science
Unordered Mathematics
Computing Mathematics

Research Output 2019 2019

3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 16 p.

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Prizes

Jean Fichefet Price 2017

Gonzague Yernaux (Recipient), 17 Nov 2017

Prize: Prize (including medals and awards)

honors and awards

Activities 2019 2019

  • 2 Participation in conference
  • 2 Oral presentation

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

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 Oct 201910 Oct 2019

Activity: Participating in or organising an event typesParticipation in conference

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)
9 Oct 2019

Activity: Talk or presentation typesOral presentation

35th International Conference on Logic Programming

Gonzague Yernaux (Participant)
20 Sep 201925 Sep 2019

Activity: Participating in or organising an event typesParticipation in conference

Anti-unification in Constraint Logic Programming

Gonzague Yernaux (Speaker)
22 Sep 2019

Activity: Talk or presentation typesOral presentation