Unification et disunification : théorie et applications - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1988

Unification and disunification in free algebras and in initial algebras : theory and applications

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
Fichier principal
Vignette du fichier
Comon.Hubert_1988_these.pdf (22.78 Mo) Télécharger le fichier

Dates et versions

tel-00331263 , version 1 (16-10-2008)

Identifiants

  • HAL Id : tel-00331263 , version 1

Citer

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

Collections

UGA CNRS TDS-MACS
200 Consultations
179 Téléchargements

Partager

Gmail Facebook X LinkedIn More