Počet záznamů: 1
The canonical pairs of bounded depth Frege systems
SYS 0535773 LBL 01000a^^22220027750^450 005 20240103224906.1 014 $a 85092113495 $2 SCOPUS 014 $a 000594715500007 $2 WOS 017 $a 10.1016/j.apal.2020.102892 $2 DOI 100 $a 20201208d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a The canonical pairs of bounded depth Frege systems 215 $a 41 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č. 172, č. 2 (2021) $1 210 $c Elsevier 610 $a circuits 610 $a complexity 610 $a games 610 $a proofs 700 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $4 070 $z K $T Matematický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1016/j.apal.2020.102892 $9 RIV
Počet záznamů: 1