Number of the records: 1
Fixed Point Logics and Definable Topological Properties
SYS 0563276 005 20231122150913.6 014 $a 85138821241 $2 SCOPUS 014 $a 000866553800003 $2 WOS 017 70
$a 10.1007/978-3-031-15298-6_3 $2 DOI 101 0-
$a eng 102 $a CH 200 1-
$a Fixed Point Logics and Definable Topological Properties 215 $a 17 s. $c P 225 1-
$a Lecture Notes in Computer Science 463 -1
$1 001 cav_un_epca*0565989 $1 010 $a 978-3-031-15297-9 $1 011 $a 0302-9743 $1 200 1 $a Logic, Language, Information, and Computation $v Roč. 13468 (2022), s. 36-52 $1 210 $a Cham $c Springer $d 2022 $1 225 $a Lecture Notes in Computer Science $v 13468 $1 702 1 $a Ciabattoni $b A. $4 340 $1 702 1 $a Pimentel $b E. $4 340 $1 702 1 $a de Queiroz $b R. J. G. B $4 340 608 $a Proceedings Paper 610 $a Mu-calculus 610 $a Expressivity 610 $a Topological semantics 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 $q Univ Ghent, Dept Math, WE16, Ghent, Belgium $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0310404 $a Gougeon $b P. $y FR $z K $q Univ Toulouse, CNRS, INPT UT3, Toulouse, France,
Number of the records: 1