Počet záznamů: 1
The provably total NP search problems of weak second order bounded arithmetic
SYS 0359552 LBL 01927^^^^^2200313^^^450 005 20240103195158.4 014 $a 000289022500002 $2 WOS 014 $a 79952006622 $2 SCOPUS 017 70
$a 10.1016/j.apal.2010.12.002 $2 DOI 100 $a 20120314d m y slo 03 ba 101 0-
$a eng $d eng 102 $a NL 200 1-
$a The provably total NP search problems of weak second order bounded arithmetic 215 $a 28 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č. 162, č. 6 (2011), s. 419-446 $1 210 $c Elsevier 610 0-
$a complexity 610 0-
$a fragments 700 -1
$3 cav_un_auth*0246819 $a Kolodziejczyk $b L. A. $y PL $4 070 701 -1
$3 cav_un_auth*0246710 $a Thapen $b Neil $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $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*0272058 $a Nguyen $b Phuong $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://www.sciencedirect.com/science/article/pii/S0168007210001491
Počet záznamů: 1