Forcing with Random Variables and Proof Complexity

por Krajícek, Jan
Publicado 2010

Bounded arithmetic, propositional logic and complexity theory

por Krajicek, Jan
Publicado 1995

Proof complexity

por Krajíček, Jan
Publicado 2019

Mechanisms of Color Production in a Highly Variable Shield-Back Stinkbug, Tectocoris diopthalmus (Heteroptera: Scutelleridae), and Why It Matters

por Fabricant, Scott A., Kemp, Darrell J., Krajíček, Jan, Bosáková, Zuzana, Herberstein, Marie E.
Publicado 2013

Correction: Mechanisms of Color Production in a Highly Variable Shield-Back Stinkbug, Tectocoris diopthalmus (Heteroptera: Scutelleridae), and Why It Matters

por Fabricant, Scott A., Kemp, Darrell J., Krajíček, Jan, Bosáková, Zuzana, Herberstein, Marie E.
Publicado 2013

Comparative Analysis of Volatile Defensive Secretions of Three Species of Pyrrhocoridae (Insecta: Heteroptera) by Gas Chromatography-Mass Spectrometric Method

por Krajicek, Jan, Havlikova, Martina, Bursova, Miroslava, Ston, Martin, Cabala, Radomir, Exnerova, Alice, Stys, Pavel, Bosakova, Zuzana
Publicado 2016