ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes

Abstract : Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1994_0372_VITTEK.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01754181
Contributor : Thèses Ul <>
Submitted on : Friday, March 30, 2018 - 9:40:29 AM
Last modification on : Tuesday, January 29, 2019 - 1:21:55 AM

Identifiers

  • HAL Id : tel-01754181, version 1

Collections

Citation

Marian Vittek. ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes. Autre. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10372⟩. ⟨tel-01754181⟩

Share

Metrics

Record views

14