Počet záznamů: 1
From feasible proofs to feasible computations
SYS 0353758 LBL 01075^^^^^2200229^^^450 005 20240103194552.9 014 $a 77956587235 $2 SCOPUS 014 $a 000286162100003 $2 WOS 017 70
$a 10.1007/978-3-642-15205-4_3 $2 DOI 100 $a 20110110d m y slo 03 ba 101 0-
$a eng $d eng 102 $a DE 200 1-
$a From feasible proofs to feasible computations 215 $a 10 s. 463 -1
$1 001 cav_un_epca*0353757 $1 010 $a 978-3-642-15204-7 $1 200 1 $a Computer Science Logic 2010 $v S. 22-31 $1 210 $a Heidelberg $c Springer $d 2010 $1 225 $a Lecture Notes in Computer Science $v 6247 $1 702 1 $a Dawar $b A. $4 340 $1 702 1 $a Veith $b H. $4 340 610 0-
$a lengths of proofs 610 0-
$a computational time 700 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $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://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
Počet záznamů: 1