Počet záznamů: 1
Circuit lower bounds in bounded arithmetics
SYS 0438367 LBL 01950^^^^^2200313^^^450 005 20240103205428.7 014 $a 84908372074 $2 SCOPUS 014 $a 000345480600002 $2 WOS 017 70
$a 10.1016/j.apal.2014.08.004 $2 DOI 100 $a 20150105d m y slo 03 ba 101 0-
$a eng $d eng 102 $a NL 200 1-
$a Circuit lower bounds in bounded arithmetics 215 $a 17 s. 463 -1
$1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 166, č. 1 (2015), s. 29-45 $1 210 $c Elsevier 610 0-
$a bounded arithmetic 610 0-
$a circuit lower bounds 700 -1
$3 cav_un_auth*0312101 $4 070 $a Pich $b Ján $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $T Matematický ústav AV ČR, v. v. i. 856 $u http://www.sciencedirect.com/science/article/pii/S0168007214000888
Počet záznamů: 1