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...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Thèse et Mémoire papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
[S.l.] :
[s.n.]
1994.
|
| Konular: | |
| Not: |
1994ORLE2011 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | GENERAL UNIFICATION VIA CONSTRAINT ORDERED NARROWING AND DIRECTED NARROWING |