Počet záznamů: 1
An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole principle
- 1.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
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 2.3 MB Autorský postprint povolen
Počet záznamů: 1