Déduction avec contraintes et simplification dans les théories équationnelles - Université de Lorraine Accéder directement au contenu
Thèse Année : 1999

Déduction avec contraintes et simplification dans les théories équationnelles

Fichier principal
Vignette du fichier
SCD_T_1999_0271_SCHARFF.pdf (11.35 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-01747107 , version 1 (29-03-2018)

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⟩
52 Consultations
178 Téléchargements

Partager

Gmail Facebook X LinkedIn More