Number of the records: 1
Lambek Calculus with Conjugates
SYS 0531299 LBL 01000a^^22220027750^450 005 20240103224257.8 014 $a 85088789957 $2 SCOPUS 014 $a 000553263900001 $2 WOS 017 $a 10.1007/s11225-020-09913-2 $2 DOI 100 $a 20200730d m y slo 03 ba 101 $a eng 102 $a NL 200 1-
$a Lambek Calculus with Conjugates 215 $a 24 s. 463 -1
$1 001 cav_un_epca*0292190 $1 011 $a 0039-3215 $e 1572-8730 $1 200 1 $a Studia Logica $v Roč. 109, č. 3 (2021), s. 447-470 $1 210 $c Springer 610 $a Conjugates 610 $a Lambek Calculus 610 $a Modal logic 610 $a Routley–Meyer semantics 700 -1
$3 cav_un_auth*0336595 $a Sedlár $b Igor $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0378828 $a Tedder $b Andrew $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $y CA $z K $T Ústav informatiky AV ČR, v. v. i. 856 $u http://dx.doi.org/10.1007/s11225-020-09913-2 $9 RIV
Number of the records: 1