Počet záznamů: 1
Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
SYS 0174630 LBL 00000nam^^22^^^^^^^^450 005 20240103175214.7 101 0-
$a eng 102 $a CH 200 1-
$a Proof complexity in algebraic systems and bounded depth Frege systems with modular counting 463 -1
$1 001 cav_un_epca*0252542 $1 011 $a 1016-3328 $e 1420-8954 $1 200 1 $a Computational Complexity $v Roč. 6, č. 3 (1997), s. 256-298 $1 210 $c Springer 700 -1
$3 cav_un_auth*0079821 $a Buss $b S. $y US $4 070 701 -1
$3 cav_un_auth*0079630 $a Impagliazzo $b R. $y US $4 070 701 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0079822 $a Razborov $b A. A. $y SU $4 070 701 -1
$3 cav_un_auth*0100708 $a Sgall $b Jiří $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1