Počet záznamů: 1
Disjunction Property and Complexity of Substructural Logics
SYS 0368496 LBL 00930^^^^^2200241^^^450 005 20240103195951.7 014 $a 000292353400002 $2 WOS 014 $a 79958066909 $2 SCOPUS 017 7-
$a 10.1016/j.tcs.2011.04.004 $2 DOI 100 $a 20111121d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Disjunction Property and Complexity of Substructural Logics 215 $a 15 s. 463 -1
$1 001 cav_un_epca*0257658 $1 011 $a 0304-3975 $e 1879-2294 $1 200 1 $a Theoretical Computer Science $v Roč. 412, č. 31 (2011), s. 3992-4006 $1 210 $c Elsevier 610 0-
$a substructural logics 610 0-
$a disjunction property 610 0-
$a computational complexity 700 -1
$3 cav_un_auth*0208971 $a Horčík $b Rostislav $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $p UIVT-O $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0276841 $a Terui $b K. $y JP $4 070 $z K
Počet záznamů: 1