UNIFICATION DANS LA PROGRAMMATION LOGICO-EQUATIONNELLE
L'OBJECTIF DE CETTE THESE EST D'AMELIORER LA TERMINAISON DE L'UNIFICATION SEMANTIQUE AFIN D'AUGMENTER LA DECLARATIVITE DES IMPLANTATIONS DES LANGAGES LOGICO-EQUATIONNELS. L'UNIFICATION SEMANTIQUE ETANT INDECIDABLE, IL EST IMPOSSIBLE DE RESOUDRE CE PROBLEME DE MANIERE DEFINIT...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Thèse et Mémoire papier |
| Sprache: | Français |
| Veröffentlicht: |
[S.l.] :
[s.n.]
1996.
|
| Schlagworte: | |
| Anmerkung: |
1996ORLE2068 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | UNIFICATION IN EQUATIONNAL LOGIC PROGRAMMING |