Number of the records: 1
Fixed Point Logics on Hemimetric Spaces
SYS 0574237 LBL 01000a^^22220027750^450 005 20240404111656.4 014 $a 85165985774 $2 SCOPUS 014 $a 001036707700049 $2 WOS 017 $a 10.1109/LICS56636.2023.10175784 $2 DOI 100 $a 20230810d m y slo 03 ba 101 $a eng 102 $a US 200 1-
$a Fixed Point Logics on Hemimetric Spaces 215 $a 13 s. $c P 463 -1
$1 001 cav_un_epca*0574238 $1 010 $a 979-8-3503-3588-0 $1 200 1 $a 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings $1 210 $a New York $c IEEE $d 2023 610 $a Computer science 610 $a Semantics 610 $a Extraterrestrial measurements 610 $a Behavioral sciences 610 $a Proposals 610 $a Standards 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. 701 -1
$3 cav_un_auth*0453069 $a Gougeon $b Q. $y FR 856 $u https://dx.doi.org/10.1109/LICS56636.2023.10175784 $9 RIV
Number of the records: 1