Predicate Anti-unification in (Constraint) Logic Programming

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

Périodeoct. 2023
Titre de l'événement33rd International Symposium on Logic-based Program Synthesis and Transformation
Type d'événementUne conférence
LieuLisbonne, PortugalAfficher sur la carte
Niveau de reconnaissanceInternational