Unification et disunification : théorie et applications
FR
Auteur / Autrice : | Hubert Comon-Lundh |
Direction : | Jacques Calmet |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1988 |
Etablissement(s) : | Grenoble INPG |
Partenaire(s) de recherche : | Laboratoire : Laboratoire d'informatique fondamentale et d'intelligence artificielle (Grenoble19..-2007) |
Mots clés
FR
Mots clés contrôlés
Résumé
FR
Les règles de transformation des problèmes equationnels sont donnes permettant, en particulier, de décider de l'existence d'une solution fermée. Comme première application, il est montre comment calculer une grammaire pour le langage des termes fermes irréductibles par un système de réécriture. D'autres applications et extensions sont ensuite envisagées. En particulier, en programmation logique et dans les spécifications algébriques