Predicate Anti-unification in (Constraint) Logic Programming

Gonzague Yernaux, Wim Vanhoof

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

51 Téléchargements (Pure)

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

2 résultats
- Titre
- Date de début(par ordre croissant)

Predicate Anti-unification in (Constraint) Logic Programming
Yernaux, G. (Orateur)
oct. 2023
Activité: Discours ou présentation › Présentation orale
33rd International Symposium on Logic-based Program Synthesis and Transformation
Yernaux, G. (Participant)
23 oct. 2023 → 24 oct. 2023
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès