Intuitionistic vs Classical Tautologies, Quantitative Comparison - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008
Fichier non déposé

Dates et versions

hal-00530530 , version 1 (29-10-2010)

Identifiants

  • HAL Id : hal-00530530 , version 1

Citer

Antoine Genitrini, Jakub Kozik, Marek Zaionc. Intuitionistic vs Classical Tautologies, Quantitative Comparison. TYPES 2007, 2007, Cividale del Friuli, Italy. pp.100-109. ⟨hal-00530530⟩

Collections

CNRS UVSQ
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More