Basket

0580737 - ÚI 2025 RIV GB eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : expressivity * Mu-calculus * topological semantics
OECD category: Pure mathematics
Impact factor: 0.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/S0960129523000385
Permanent Link: https://hdl.handle.net/11104/0349498