Počet záznamů: 1
Fixed Point Logics and Definable Topological Properties
- 1.0563276 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985807
Klíčová slova: Mu-calculus * Expressivity * Topological semantics
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0337431
Počet záznamů: 1