919 - Unification : algorithmes et applications.2017
Afficher les anciens rapports
Développements
| 5 | Algorithme d'unification |
| 4 | Lemme des paires critiques |
Plans
Rajouter une version
Utilisateur : Promo ENSL 2015
Références :
Introduction à la logique
Introduction à l'algorithmique
Term rewriting and All That
Fondements mathématiques de l'informatique
Utilisateur : Promo ENSL 2016
Références :
Term rewriting and All That