Vytisknout
0580737 - ÚI 2025 RIV GB eng J - Článek v odborném periodiku
Fernández-Duque, David - Gougeon, Q.
Fixed point logics and definable topological properties.
Mathematical Structures in Computer Science. Roč. 34, č. 2 (2024), s. 81-97. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985807
Klíčová slova: expressivity * Mu-calculus * topological semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S0960129523000385
Trvalý link: https://hdl.handle.net/11104/0349498
Fernández-Duque, David - Gougeon, Q.
Fixed point logics and definable topological properties.
Mathematical Structures in Computer Science. Roč. 34, č. 2 (2024), s. 81-97. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985807
Klíčová slova: expressivity * Mu-calculus * topological semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S0960129523000385
Trvalý link: https://hdl.handle.net/11104/0349498