Thèse soutenue

Unification et disunification : théorie et applications
FR
Accès à la thèse
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)

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