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

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

par Sylviane Launay

Thèse de doctorat en Informatique

Sous la direction de Pierre-Louis Curien.

Soutenue en 1985

Résumé

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. . .

Titre traduit

Completion of rewritting type systems whose functions are polymorphons
Pas de résumé disponible.

Consulter en bibliothèque

Informations

Où se trouve cette thèse ?

Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
Consultable sur place dans l'établissement demandeur
Cote : F7 (1985) 006
Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
Disponible pour le PEB
Cote : PAR7 F7 1985