| |
| 2009 | ||
|---|---|---|
| 4 | EE | Antoine Genitrini, Jakub Kozik: Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. LFCS 2009: 280-294 |
| 3 | EE | René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc: Some properties of random lambda terms CoRR abs/0903.5505: (2009) |
| 2007 | ||
| 2 | EE | Antoine Genitrini, Jakub Kozik, Marek Zaionc: Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES 2007: 100-109 |
| 2005 | ||
| 1 | EE | Jakub Kozik: Conditional Densities of Regular Languages. Electr. Notes Theor. Comput. Sci. 140: 67-79 (2005) |
| 1 | René David | [3] |
| 2 | Antoine Genitrini | [2] [4] |
| 3 | Katarzyna Grygiel | [3] |
| 4 | Christophe Raffalli | [3] |
| 5 | Guillaume Theyssier | [3] |
| 6 | Marek Zaionc | [2] [3] |