Počet záznamů: 1
A form of feasible interpolation for constant depth Frege systems
SYS 0353751 LBL 01044^^^^^2200265^^^450 005 20240103194552.5 014 $a 000278641100017 $2 WOS 014 $a 77954318233 $2 SCOPUS 017 70
$a 10.2178/jsl/1268917504 $2 DOI 100 $a 20110110d m y slo 03 ba 101 0-
$a eng $d eng 102 $a US 200 1-
$a A form of feasible interpolation for constant depth Frege systems 215 $a 11 s. 463 -1
$1 001 cav_un_epca*0257123 $1 011 $a 0022-4812 $e 1943-5886 $1 200 1 $a Journal of Symbolic Logic $v Roč. 75, č. 2 (2010), s. 774-784 $1 210 $c Cambridge University Press 610 0-
$a feasible interpolation 610 0-
$a Frege proof systems 610 0-
$a lower bounds 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://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Počet záznamů: 1