Number of the records: 1
Proof Complexity of the Cut-free Calculus of Structures
SYS 0323402 LBL 01848^^^^^2200253^^^450 005 20240103191527.3 014 $a 000264656300006 $2 WOS 100 $a 20090417d m y slo 03 ba 101 0-
$a eng $d eng $d cze 102 $a GB 200 1-
$a Proof Complexity of the Cut-free Calculus of Structures 215 $a 17 s. 300 $a IAA900090703 1M0545 463 -1
$1 001 cav_un_epca*0253859 $1 011 $a 0955-792X $e 1465-363X $1 200 1 $a Journal of Logic and Computation $v Roč. 19, č. 2 (2009), s. 323-339 541 1-
$a Důkazová složitost bezřezového kalkulu struktur $z cze 610 0-
$a proof complexity 610 0-
$a calculus of structures 610 0-
$a monotone sequent calculus 700 -1
$3 cav_un_auth*0219256 $a Jeřábek $b Emil $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i.
Number of the records: 1