Anti-unification of Unordered Goals

Namur Digital Institute
Faculte d'informatique
Universite de Namur
Research Group on the Foundations of Computer Sciences

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

39 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)

Anti-unification of Unordered Goals
Yernaux, G. (Orateur)
18 févr. 2022
Activité: Discours ou présentation › Présentation orale
Computer Science Logic 2022
Yernaux, G. (Participant) & VANHOOF, W. (Participant)
14 févr. 2022 → 19 févr. 2022
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Anti-unification of Unordered Goals

Activités

Résultats de recherche

Anti-unification of Unordered Goals

Computer Science Logic 2022