thesis

Méthodes d'unification par surréduction

Defense date:

Jan. 1, 1988

Edit

Institution:

Nancy 1

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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