0563276 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
Fernández-Duque, David - Gougeon, P.Fixed Point Logics and Definable Topological Properties.
Lecture Notes in Computer Science. In:
Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), Roč. 13468 (2022), s. 36-52. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
Institutional support: RVO:67985807
Keywords : Mu-calculus * Expressivity * Topological semantics
OECD category: Pure mathematics
Permanent Link: https://hdl.handle.net/11104/0337431