Communication Dans Un Congrès
Année : 2010
Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-00792200
Soumis le : jeudi 21 février 2013-14:02:20
Dernière modification le : lundi 9 décembre 2024-15:36:03
Dates et versions
Identifiants
- HAL Id : halshs-00792200 , version 1
Citer
Henri Galinon. Deflating semantical consistency proofs. Sémantique, Sémantiques, Oct 2010, Paris, France. ⟨halshs-00792200⟩
Collections
61
Consultations
0
Téléchargements
