Triangle-free intersection graphs of line segments with large chromatic number. Zbl 1300.05106
Pawlik, Arkadiusz; Kozik, Jakub; Krawczyk, Tomasz; Lasoń, Michał; Micek, Piotr; Trotter, William T.; Walczak, Bartosz |
|
2014
|
New approach to nonrepetitive sequences. Zbl 1349.68131
Grytczuk, Jarosław; Kozik, Jakub; Micek, Piotr |
|
2013
|
Nonrepetitive colouring via entropy compression. Zbl 1399.05071
Dujmović, V.; Joret, G.; Kozik, J.; Wood, D. R. |
|
2016
|
A note on random greedy coloring of uniform hypergraphs. Zbl 1325.05121
Cherkashin, Danila D.; Kozik, Jakub |
|
2015
|
Triangle-free geometric intersection graphs with large chromatic number. Zbl 1275.05038
Pawlik, Arkadiusz; Kozik, Jakub; Krawczyk, Tomasz; Lasoń, Michał; Micek, Piotr; Trotter, William T.; Walczak, Bartosz |
|
2013
|
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek |
|
2013
|
Improved algorithms for colorings of simple hypergraphs and applications. Zbl 1327.05113
Kozik, Jakub; Shabanov, Dmitry |
|
2016
|
Towards an on-line version of Ohba’s conjecture. Zbl 1284.05102
Kozik, Jakub; Micek, Piotr; Zhu, Xuding |
|
2014
|
Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309
Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek |
|
2008
|
Chip games and paintability. Zbl 1339.05129
Duraj, Lech; Gutowski, Grzegorz; Kozik, Jakub |
|
2016
|
Dynamic threshold strategy for universal best choice problem. Zbl 1357.60043
Kozik, Jakub |
|
2010
|
Nonrepetitive choice number of trees. Zbl 1365.05092
Kozik, Jakub; Micek, Piotr |
|
2013
|
Multipass greedy coloring of simple uniform hypergraphs. Zbl 1330.05071
Kozik, Jakub |
|
2016
|
Subcritical pattern languages for and/or trees. Zbl 1355.68162
Kozik, Jakub |
|
2008
|
Nonrepetitive sequences on arithmetic progressions. Zbl 1229.68063
Grytczuk, Jarosław; Kozik, Jakub; Witkowski, Marcin |
|
2011
|
Lower bounds for on-line graph colorings. Zbl 1435.05141
Gutowski, Grzegorz; Kozik, Jakub; Micek, Piotr; Zhu, Xuding |
|
2014
|
Pathwidth and nonrepetitive list coloring. Zbl 1353.05048
Gągol, Adam; Joret, Gwenaël; Kozik, Jakub; Micek, Piotr |
|
2016
|
Conditional densities of regular languages. Zbl 1272.68213
Kozik, Jakub |
|
2005
|
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. Zbl 1248.03013
Genitrini, Antoine; Kozik, Jakub |
|
2012
|
Quantitative comparison of intuitionistic and classical logics – full propositional system. Zbl 1211.03020
Genitrini, Antoine; Kozik, Jakub |
|
2009
|
A note on two-colorability of nonuniform hypergraphs. Zbl 1504.05202
Duraj, Lech; Gutowski, Grzegorz; Kozik, Jakub |
|
2018
|
On the density and the structure of the Peirce-like formulae. Zbl 1355.03009
Genitrini, Antoine; Kozik, Jakub; Matecki, Grzegorz |
|
2008
|
A note on two-colorability of nonuniform hypergraphs. Zbl 1504.05202
Duraj, Lech; Gutowski, Grzegorz; Kozik, Jakub |
|
2018
|
Nonrepetitive colouring via entropy compression. Zbl 1399.05071
Dujmović, V.; Joret, G.; Kozik, J.; Wood, D. R. |
|
2016
|
Improved algorithms for colorings of simple hypergraphs and applications. Zbl 1327.05113
Kozik, Jakub; Shabanov, Dmitry |
|
2016
|
Chip games and paintability. Zbl 1339.05129
Duraj, Lech; Gutowski, Grzegorz; Kozik, Jakub |
|
2016
|
Multipass greedy coloring of simple uniform hypergraphs. Zbl 1330.05071
Kozik, Jakub |
|
2016
|
Pathwidth and nonrepetitive list coloring. Zbl 1353.05048
Gągol, Adam; Joret, Gwenaël; Kozik, Jakub; Micek, Piotr |
|
2016
|
A note on random greedy coloring of uniform hypergraphs. Zbl 1325.05121
Cherkashin, Danila D.; Kozik, Jakub |
|
2015
|
Triangle-free intersection graphs of line segments with large chromatic number. Zbl 1300.05106
Pawlik, Arkadiusz; Kozik, Jakub; Krawczyk, Tomasz; Lasoń, Michał; Micek, Piotr; Trotter, William T.; Walczak, Bartosz |
|
2014
|
Towards an on-line version of Ohba’s conjecture. Zbl 1284.05102
Kozik, Jakub; Micek, Piotr; Zhu, Xuding |
|
2014
|
Lower bounds for on-line graph colorings. Zbl 1435.05141
Gutowski, Grzegorz; Kozik, Jakub; Micek, Piotr; Zhu, Xuding |
|
2014
|
New approach to nonrepetitive sequences. Zbl 1349.68131
Grytczuk, Jarosław; Kozik, Jakub; Micek, Piotr |
|
2013
|
Triangle-free geometric intersection graphs with large chromatic number. Zbl 1275.05038
Pawlik, Arkadiusz; Kozik, Jakub; Krawczyk, Tomasz; Lasoń, Michał; Micek, Piotr; Trotter, William T.; Walczak, Bartosz |
|
2013
|
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek |
|
2013
|
Nonrepetitive choice number of trees. Zbl 1365.05092
Kozik, Jakub; Micek, Piotr |
|
2013
|
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. Zbl 1248.03013
Genitrini, Antoine; Kozik, Jakub |
|
2012
|
Nonrepetitive sequences on arithmetic progressions. Zbl 1229.68063
Grytczuk, Jarosław; Kozik, Jakub; Witkowski, Marcin |
|
2011
|
Dynamic threshold strategy for universal best choice problem. Zbl 1357.60043
Kozik, Jakub |
|
2010
|
Quantitative comparison of intuitionistic and classical logics – full propositional system. Zbl 1211.03020
Genitrini, Antoine; Kozik, Jakub |
|
2009
|
Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309
Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek |
|
2008
|
Subcritical pattern languages for and/or trees. Zbl 1355.68162
Kozik, Jakub |
|
2008
|
On the density and the structure of the Peirce-like formulae. Zbl 1355.03009
Genitrini, Antoine; Kozik, Jakub; Matecki, Grzegorz |
|
2008
|
Conditional densities of regular languages. Zbl 1272.68213
Kozik, Jakub |
|
2005
|