Méthodes d'unification par surréduction

par Pierre Réty

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Kirchner.

Soutenue en 1988

à Nancy 1 .


  • Résumé

    Introduction. Définitions générales. La surréduction normalisante. La surréduction normalisante basique de gauche à droite. Étude de la minimalité des solutions générées par surréduction. Une approche transformationnelle de la surréduction basique simplifiante. Approche algébrique de la surréduction. Conclusion


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (160 p.)
  • Annexes : Bibliogr p. 156-160

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Cote : SC N1988 306
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : RETY m
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.