thesis

Complétion de systèmes de réécriture types dont les fonctions sont polymorphes

Defense date:

Jan. 1, 1985

Edit

Institution:

Paris 7

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Implantation sur le système Knuth-Bendix développe en Lisp d'une version permettant le traitement des systèmes de réécriture typés dans le cas ou les fonctions de la signature sont polymorphes. . .