UNIFICATION GENERALE PAR SURREDUCTION ORDONNEE CONTRAINTE ET SURREDUCTION DIRIGEE
LA SURREDUCTION EST UNE METHODE GENERALE ET COMPLETE, D'UNIFICATION DANS LES SYSTEMES DE REECRITURE CONFLUENTS ET NOETHERIENS. DANS CE TRAVAIL, NOUS AVONS COMBINE LE MECANISME DE COMPLETION DITE ORDONNEE, QUI PERMET D'OBTENIR DE TELS SYSTEMES EVENTUELLEMENT INFINIS, ET LE MECANISME DE SURR...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse et Mémoire papier |
| Langue: | Français |
| Publié: |
[S.l.] :
[s.n.]
1994.
|
| Sujets: | |
| Note: |
1994ORLE2011 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | GENERAL UNIFICATION VIA CONSTRAINT ORDERED NARROWING AND DIRECTED NARROWING |
Orléans - BU Sciences Technologies STAPS
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Magasin | TS 19-1994-11b |
A consulter sur place
|
||
| Magasin | TS 19-1994-11 | Disponible |