Number of the records: 1
Lower Bounds to the Size of Constant-Depth Propositional Proofs
- 1.0174009 - MU-W 940060 RIV US eng J - Journal Article
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
R&D Projects: GA AV ČR IAA119107
Impact factor: 0.204, year: 1994
Permanent Link: http://hdl.handle.net/11104/0071028
File Download Size Commentary Version Access Krajicek1.pdf 1 1.2 MB Publisher’s postprint require
Number of the records: 1