Communication Dans Un Congrès
Année : 2002
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125072
Soumis le : vendredi 6 mars 2015-10:57:47
Dernière modification le : jeudi 18 juin 2020-10:18:03
Dates et versions
Licence
Identifiants
- HAL Id : hal-01125072 , version 1
- DOI : 10.1016/S1571-0661(04)80508-5
Citer
David Delahaye. A Proof Dedicated Meta-Language. Proceedings of Logical Frameworks and Meta-Languages (LFM), Jan 2002, Copenhagen, Denmark. ⟨10.1016/S1571-0661(04)80508-5⟩. ⟨hal-01125072⟩
15
Consultations
0
Téléchargements