Number of the records: 1
Taming the 'Elsewhere': On Expressivity of Topological Languages
SYS 0558050 LBL 01000a^^22220027750^450 005 20240220002133.5 014 $a 000780877900001 $2 WOS 017 $a 10.1017/S1755020322000120 $2 DOI 100 $a 20220608d m y slo 03 ba 101 $a eng 102 $a GB 200 1-
$a Taming the 'Elsewhere': On Expressivity of Topological Languages 215 $a 10 s. 463 -1
$1 001 cav_un_epca*0343866 $1 011 $a 1755-0203 $e 1755-0211 $1 200 1 $a Review of Symbolic Logic $v Online 28 March 2022 (2024) $1 210 $c Cambridge University Press 610 $a modal logic 610 $a topological semantics 610 $a expressivity 700 -1
$3 cav_un_auth*0430083 $a Fernández-Duque $b David $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $y BE $T Ústav informatiky AV ČR, v. v. i. 856 $u http://dx.doi.org/10.1017/S1755020322000120 $9 RIV
Number of the records: 1