Počet záznamů: 1
Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus
SYS 0174484 LBL 00000nam^^22^^^^^^^^450 005 20240103175205.4 101 0-
$a eng 102 $a DD 200 1-
$a Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus 463 -1
$1 200 1 $a Mathematical Foundations of Computer Science $v s. 85-90 $1 702 1 $a Růžička $b P. R. $4 340 $1 210 $a Berlin $c SpringerVerlag $d 1997 $1 225 1 $a Lecture Notes in Computer Science $v 1295 700 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1