Predicate Anti-unification in (Constraint) Logic Programming

Yernaux, G. (Orateur)

Activité: Discours ou présentation › Présentation orale

Période	oct. 2023
Titre de l'événement	33rd International Symposium on Logic-based Program Synthesis and Transformation
Type d'événement	Une conférence
Emplacement	Lisbonne, PortugalAfficher sur la carte
Degré de reconnaissance	International

Contenu connexe

Résultat de recherche
Predicate Anti-unification in (Constraint) Logic Programming
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

Projets
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Projet: Projet de thèse

Activités
33rd International Symposium on Logic-based Program Synthesis and Transformation
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès