Anti-unification of Unordered Goals

Gonzague Yernaux, Wim VANHOOF

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

11 Téléchargements (Pure)

1 résultats

Pas commencé
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. & Vanhoof, W.
Projet: Projet de thèse