Počet záznamů: 1
Lower Bounds to the Size of Constant-Depth Propositional Proofs
- 1.0174009 - MU-W 940060 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
Lower Bounds to the Size of Constant-Depth Propositional Proofs.
Journal of Symbolic Logic. Roč. 59, č. 1 (1994), s. 73-86. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA119107
Impakt faktor: 0.204, rok: 1994
Trvalý link: http://hdl.handle.net/11104/0071028
Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 1.2 MB Vydavatelský postprint vyžádat
Počet záznamů: 1