Počet záznamů: 1
Term Satisfiability in FLew-Algebras
SYS 0439177 LBL 02197^^^^^2200289^^^450 005 20240103205519.9 014 $a 84977943182 $2 SCOPUS 014 $a 000377839900001 $2 WOS 017 $a 10.1016/j.tcs.2016.03.009 $2 DOI 100 $a 20150115d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Term Satisfiability in FLew-Algebras 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č. 631, 6 June (2016), s. 1-15 $1 210 $c Elsevier 610 0-
$a substructural logic 610 0-
$a FLew-algebra 610 0-
$a MV-algebra 610 0-
$a satisfiability 610 0-
$a computational complexity 700 -1
$3 cav_un_auth*0015032 $w Department of Theoretical Computer Science $4 070 $a Haniková $b Zuzana $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $z K $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100825 $w Department of Theoretical Computer Science $4 070 $a Savický $b Petr $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1