Déduction avec contraintes et simplification dans les théories équationnelles
Résumé
Non disponible / Not available
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Thèse
Année : 1999
Thèses UL : Connectez-vous pour contacter le contributeur
https://hal.univ-lorraine.fr/tel-01747107
Soumis le : jeudi 29 mars 2018-10:51:09
Dernière modification le : lundi 11 septembre 2023-17:41:19
Archivage à long terme le : jeudi 13 septembre 2018-13:25:25
Dates et versions
Identifiants
- HAL Id : tel-01747107 , version 1
Citer
Christelle Scharff. Déduction avec contraintes et simplification dans les théories équationnelles. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10271⟩. ⟨tel-01747107⟩
Collections
63
Consultations
199
Téléchargements