Unification et disunification : théorie et applications

Résumé : 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
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00331263
Contributor : Thèses Imag <>
Submitted on : Thursday, October 16, 2008 - 7:23:33 AM
Last modification on : Thursday, January 11, 2018 - 6:20:25 AM
Long-term archiving on : Monday, June 7, 2010 - 6:46:22 PM

Identifiers

  • HAL Id : tel-00331263, version 1

Collections

Citation

Hubert Comon. Unification et disunification : théorie et applications. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988. Français. ⟨tel-00331263⟩

Share

Metrics

Record views

244

Files downloads

189