Skip to Main content Skip to Navigation
Theses

Réseaux de preuve et génération pour les grammaires de types logiques

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

https://hal.univ-lorraine.fr/tel-01749813
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:28:33 PM
Last modification on : Tuesday, April 24, 2018 - 1:30:10 PM
Long-term archiving on: : Friday, September 14, 2018 - 2:06:09 PM

File

INPL_T_2001_POGODALLA_S.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01749813, version 1

Collections

Citation

Sylvain Pogodalla. Réseaux de preuve et génération pour les grammaires de types logiques. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL056N⟩. ⟨tel-01749813⟩

Share

Metrics

Record views

92

Files downloads

257