Vytisknout
0174167 - MU-W 950108 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan - Pudlák, Pavel - Woods, A.
An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole principle.
Random Structures and Algorithms. Roč. 7, č. 1 (1995), s. 15-39. ISSN 1042-9832. E-ISSN 1098-2418
Grant CEP: GA AV ČR IAA119107
Impakt faktor: 0.492, rok: 1995
Trvalý link: http://hdl.handle.net/11104/0071182
Krajíček, Jan - Pudlák, Pavel - Woods, A.
An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole principle.
Random Structures and Algorithms. Roč. 7, č. 1 (1995), s. 15-39. ISSN 1042-9832. E-ISSN 1098-2418
Grant CEP: GA AV ČR IAA119107
Impakt faktor: 0.492, rok: 1995
Trvalý link: http://hdl.handle.net/11104/0071182