0174484 - MU-W 970123 RIV DD eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071490