 | 2009 |
|---|
| 4 |       | Antoine Genitrini,
Jakub Kozik:
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System.
LFCS 2009: 280-294 |
| 2008 |
|---|
| 3 | | Hervé Fournier,
Danièle Gardy,
Antoine Genitrini,
Bernhard Gittenberger:
Complexity and Limiting Ratio of Boolean Functions over Implication.
MFCS 2008: 347-362 |
| 2007 |
|---|
| 2 | | Hervé Fournier,
Danièle Gardy,
Antoine Genitrini,
Marek Zaionc:
Classical and Intuitionistic Logic Are Asymptotically Identical.
CSL 2007: 177-193 |
| 1 | | Antoine Genitrini,
Jakub Kozik,
Marek Zaionc:
Intuitionistic vs. Classical Tautologies, Quantitative Comparison.
TYPES 2007: 100-109 |
