Jan Krajícek
发表
Jan Krajícek,
Pavel Pudlák,
J. Krajícek,
1989,
Arch. Math. Log..
Jan Krajícek,
Russell Impagliazzo,
Toniann Pitassi,
1992,
STOC.
Jan Krajícek,
Igor Carboni Oliveira,
J. Krajícek,
2016,
Electron. Colloquium Comput. Complex..
Jan Krajícek,
2013,
ArXiv.
Jan Krajícek,
Pavel Pudlák,
1994,
LCC.
Jan Krajícek,
2003,
J. Symb. Log..
Jan Krajícek,
J. Krajícek,
2006,
ACiD.
Jan Krajícek,
J. Krajícek,
2006,
London Mathematical Society lecture note series.
Jan Krajícek,
Neil Thapen,
Alan Skelley,
2007,
J. Symb. Log..
Jan Krajícek,
2017,
Log. Methods Comput. Sci..
Jan Krajícek,
2007,
Inf. Process. Lett..
Jan Krajícek,
J. Krajícek,
2016,
J. Math. Log..
Jan Krajícek,
J. Krajícek,
1989,
Annals of Pure and Applied Logic.
Jan Krajícek,
2010,
J. Symb. Log..
Jan Krajícek,
J. Krajícek,
2008,
Journal of Symbolic Logic.
Jan Krajícek,
Igor Carboni Oliveira,
2018,
Chic. J. Theor. Comput. Sci..
Jan Krajícek,
J. Krajícek,
2001,
Bulletin of Symbolic Logic.
Jan Krajícek,
Pavel Pudlák,
J. Krajícek,
1989,
CSL.
Jan Krajícek,
Pavel Pudlák,
J. Krajícek,
1998,
Inf. Comput..
Jan Krajícek,
2019,
ArXiv.
Jan Krajícek,
2004,
Electron. Colloquium Comput. Complex..
Jan Krajícek,
Pavel Pudlák,
J. Krajícek,
1988,
Arch. Math. Log..
Jan Krajícek,
Russell Impagliazzo,
Toniann Pitassi,
1994,
Proceedings 35th Annual Symposium on Foundations of Computer Science.
Jan Krajícek,
Jirí Sgall,
Pavel Pudlák,
1990,
MFCS.
Jan Krajícek,
2015,
ArXiv.
Jan Krajícek,
J. Krajícek,
1994,
Journal of Symbolic Logic.
Jan Krajícek,
J. Krajícek,
1988,
Math. Log. Q..
Jan Krajícek,
J. Krajícek,
1985,
Math. Log. Q..
Jan Krajícek,
Pavel Pudlák,
Gaisi Takeuti,
1991,
Ann. Pure Appl. Log..
Jan Krajícek,
1990,
Ann. Pure Appl. Log..
Jan Krajícek,
Thomas Scanlon,
J. Krajícek,
2000,
Bull. Symb. Log..
Jan Krajícek,
J. Krajícek,
1995,
Encyclopedia of mathematics and its applications.
Jan Krajícek,
2002,
Math. Log. Q..
Jan Krajícek,
J. Krajícek,
2012,
ArXiv.
Jan Krajícek,
2015,
ArXiv.
Jan Krajícek,
J. Krajícek,
1995,
Logic Colloquium.
Jan Krajícek,
1998,
Math. Log. Q..
Jan Krajícek,
Pavel Pudlák,
Alan R. Woods,
1995,
Random Struct. Algorithms.
Jan Krajícek,
J. Krajícek,
1987,
Math. Log. Q..
Jan Krajícek,
J. Krajícek,
2004,
Journal of Symbolic Logic.
Jan Krajícek,
J. Krajícek,
2005,
Journal of Symbolic Logic (JSL).
Jan Krajícek,
2010,
CSL.
Jan Krajícek,
Alexander A. Razborov,
Samuel R. Buss,
1997,
computational complexity.
Jan Krajícek,
Rahul Santhanam,
Olaf Beyersdorff,
2014,
Dagstuhl Reports.
Jan Krajícek,
2013,
Electron. Colloquium Comput. Complex..
Jan Krajícek,
Gaisi Takeuti,
2005,
Annals of Mathematics and Artificial Intelligence.
Jan Krajícek,
Pavel Pudlák,
1990,
Math. Log. Q..
Jan Krajícek,
J. Krajícek,
2011,
Electron. Colloquium Comput. Complex..
Jan Krajícek,
Russell Impagliazzo,
R. Impagliazzo,
2002,
Math. Log. Q..
Jan Krajícek,
2004,
Arch. Math. Log..
Jan Krajícek,
Mario Chiari,
1998,
J. Symb. Log..
Jan Krajícek,
Pavel Pudlák,
J. Krajícek,
1989,
Journal of Symbolic Logic.
Jan Krajícek,
J. Krajícek,
1997,
MFCS.
Jan Krajícek,
J. Krajícek,
1997,
Journal of Symbolic Logic.
Jan Krajícek,
Stephen A. Cook,
2007,
J. Symb. Log..
Jan Krajícek,
J. Krajícek,
1987,
Archive for Mathematical Logic.
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
Jan Krajícek,
J. Krajícek,
2004,
Journal of Symbolic Logic.
Jan Krajícek,
Mario Chiari,
1999,
Arch. Math. Log..
Jan Krajícek,
Petr Hájek,
Matthias Baaz,
1998,
Stud Logica.
Jan Krajícek,
2012,
Log. Methods Comput. Sci..
Jan Krajícek,
2013,
Arch. Math. Log..
Jan Krajícek,
J. Krajícek,
2012,
Inf. Process. Lett..