Déduction avec contraintes et simplification dans les théories équationnelles - Université de Lorraine Access content directly
Theses Year : 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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : tel-01747107 , version 1

Cite

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⟩
51 View
169 Download

Share

Gmail Facebook Twitter LinkedIn More