 | 2012 |
|---|
| 10 |       | Antoine Genitrini,
Jakub Kozik:
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid.
Ann. Pure Appl. Logic 163(7): 875-887 (2012) |
| 2011 |
|---|
| 9 | | Jaroslaw Grytczuk,
Jakub Kozik,
Marcin Witkowski:
Nonrepetitive sequences on arithmetic progressions
CoRR abs/1102.5438: (2011) |
| 8 | | Jaroslaw Grytczuk,
Jakub Kozik,
Piotr Micek:
A new approach to nonrepetitive sequences
CoRR abs/1103.3809: (2011) |
| 7 | | Jaroslaw Grytczuk,
Jakub Kozik,
Piotr Micek:
Nonrepetitive games
CoRR abs/1103.3810: (2011) |
| 6 | | Jakub Kozik,
Piotr Micek,
Xuding Zhu:
Towards on-line Ohba's conjecture
CoRR abs/1111.5458: (2011) |
| 5 | | Jaroslaw Grytczuk,
Jakub Kozik,
Marcin Witkowski:
Nonrepetitive Sequences on Arithmetic Progressions.
Electr. J. Comb. 18(1): (2011) |
| 2009 |
|---|
| 4 | | Antoine Genitrini,
Jakub Kozik:
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System.
LFCS 2009: 280-294 |
| 3 | | 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 | | Antoine Genitrini,
Jakub Kozik,
Marek Zaionc:
Intuitionistic vs. Classical Tautologies, Quantitative Comparison.
TYPES 2007: 100-109 |
| 2005 |
|---|
| 1 | | Jakub Kozik:
Conditional Densities of Regular Languages.
Electr. Notes Theor. Comput. Sci. 140: 67-79 (2005) |
Data released under the ODC-BY 1.0 license — See also our legal information page