![]() |
| 2007 | ||
|---|---|---|
| 2 | EE | Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc: Classical and Intuitionistic Logic Are Asymptotically Identical. CSL 2007: 177-193 |
| 1 | EE | Antoine Genitrini, Jakub Kozik, Marek Zaionc: Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES 2007: 100-109 |
| 1 | Hervé Fournier | [2] |
| 2 | Danièle Gardy | [2] |
| 3 | Jakub Kozik | [1] |
| 4 | Marek Zaionc | [1] [2] |