Number of the records: 1
Word Problem for Knotted Residuated Lattices
SYS 0429808 LBL 00692^^^^^2200193^^^450 005 20240103204424.9 014 $a 84921022288 $2 SCOPUS 014 $a 000349427000010 $2 WOS 017 70
$a 10.1016/j.jpaa.2014.06.015 $2 DOI 100 $a 20140721d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Word Problem for Knotted Residuated Lattices 215 $a 16 s. 463 -1
$1 001 cav_un_epca*0257101 $1 011 $a 0022-4049 $e 1873-1376 $1 200 1 $a Journal of Pure and Applied Algebra $v Roč. 219, č. 5 (2015), s. 1548-1563 $1 210 $c Elsevier 610 0-
$a residuated lattice 610 0-
$a knotted rule 610 0-
$a word problem 610 0-
$a residuated frame 610 0-
$a semi-Thue system 610 0-
$a square-free word 700 -1
$3 cav_un_auth*0208971 $a Horčík $b Rostislav $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1