Author indexKozlík, Petr; Krajíček, Jan; Kalíková, Květa; Tesařová, Eva; Čabala, Radomír; Exnerová, Alice; Štys, Pavel; Bosáková, Zuzana · Peptides · 1981

Wheelchair-Assisted Ligature StrangulationJaník, Martin; Krajčovič, Jozef; Novomeský, František; Straka, Ľubomír; Hejna, Petr · The American Journal of Forensic Medicine and Pathology · 2019

Common yew intoxication: a case reportVališ, Martin; Kočí, Jaromír; Tuček, David; Lutonský, Tomas; Kopová, Jana; Bartoń, Petr; Vyšata, Oldřich; Krajíčková, Dagmar; Korábečný, Jan; Masopust, Jiří; Klzo, Ludovít · Journal of Medical Case Reports · 2014

Substitutions into propositional tautologiesJan Krajíček · 2007

Implicit ProofsJan Krajíček · The Journal of Symbolic Logic · 2004

Implicit proofsKrajíček, Jan · The Journal of Symbolic Logic · 2004

Proof Complexity || IntroductionKrajíček, Jan · 2019

Proof Complexity || Concepts and ProblemsKrajíček, Jan · 2019

A Vanishing Theorem for CohomologyJ. L. Alperin and Daniel Gorenstein · Proceedings of the American Mathematical Society · 1972

Inversion of an Integral TransformHarry Pollard and Harold Widom · Proceedings of the American Mathematical Society · 1958

On Certain Convolution InequalitiesLars Inge Hedberg · Proceedings of the American Mathematical Society · 1972

An Inequality for ProbabilitiesD. A. Dawson and D. Sankoff · Proceedings of the American Mathematical Society · 1967

Almost Summable SequencesJ. P. King · Proceedings of the American Mathematical Society · 1966

A Characterization of the Weyl SpectrumAndrzej Pokrzywa · Proceedings of the American Mathematical Society · 1984

Best Approximation in Metric SpacesRoshdi Khalil · Proceedings of the American Mathematical Society · 1988

Zeros of Exponential SumsD. G. Dickson · Proceedings of the American Mathematical Society · 1965