0174484 - MU-W 970123 RIV DD eng C - Conference Paper (international conference)
Krajíček, Jan
Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus.
Mathematical Foundations of Computer Science. Berlin: SpringerVerlag, 1997 - (Růžička, P.), s. 85-90. Lecture Notes in Computer Science, 1295.
[International Symposium Mathematical Foundations of Computer Science /22./ (SK), 00.08.1997]
R&D Projects: GA AV ČR IAA1019602
Permanent Link: http://hdl.handle.net/11104/0071490