Počet záznamů: 1
Algebraic proofs over noncommutative formulas
SYS 0374819 LBL 01787^^^^^2200265^^^450 005 20240103200643.3 014 $a 000295019700001 $2 WOS 014 $a 80052231047 $2 SCOPUS 017 70
$a 10.1016/j.ic.2011.07.004 $2 DOI 100 $a 20120220d m y slo 03 ba 101 0-
$a eng $d eng 102 $a US 200 1-
$a Algebraic proofs over noncommutative formulas 215 $a 24 s. 463 -1
$1 001 cav_un_epca*0256751 $1 011 $a 0890-5401 $e 1090-2651 $1 200 1 $a Information and Computation $v Roč. 209, č. 10 (2011), s. 1269-1292 $1 210 $c Elsevier 610 0-
$a proof complexity 610 0-
$a algebraic proof systems 610 0-
$a frege proofs 700 -1
$3 cav_un_auth*0262287 $a Tzameret $b Iddo $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/S089054011100109X
Počet záznamů: 1