Déduction avec sortes ordonnées et égalités

Abstract : Non disponible / Not available
Document type :
Theses
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01753499
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 4:43:31 PM
Last modification on : Tuesday, April 24, 2018 - 1:30:09 PM

File

SCD_T_1995_0182_HINTERMEIER.pd...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01753499, version 1

Collections

Citation

Claus Hintermeier. Déduction avec sortes ordonnées et égalités. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10182⟩. ⟨tel-01753499⟩

Share

Metrics

Record views

23

Files downloads

43