Communication Dans Un Congrès
Année : 2011
Didier Galmiche : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00580301
Soumis le : dimanche 27 mars 2011-21:42:08
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : hal-00580301 , version 1
Citer
Didier Galmiche, Daniel Mery. A Connection-based Characterization of Bi-intuitionistic Validity. 23rd International Conference on Automated Deduction, CADE-23, Jul 2011, Wroclaw, Poland. pp.253-267. ⟨hal-00580301⟩
Collections
73
Consultations
0
Téléchargements