Number of the records: 1
Fixed Point Logics and Definable Topological Properties
- 1.
SYSNO 0563276 Title Fixed Point Logics and Definable Topological Properties Author(s) Fernández-Duque, David (UIVT-O) SAI, ORCID, RID
Gougeon, P. (FR)Corespondence/senior Gougeon, P. - Korespondující autor Source Title Logic, Language, Information, and Computation. Roč. 13468 (2022), s. 36-52. - Cham : Springer, 2022 / Ciabattoni A. ; Pimentel E. ; de Queiroz R. J. G. B Edition Lecture Notes in Computer Science Conference WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./, 20.09.2022 - 23.09.2022, Iași Document Type Konferenční příspěvek (zahraniční konf.) Institutional support UIVT-O - RVO:67985807 Language eng Country CH Keywords Mu-calculus * Expressivity * Topological semantics Cooperating institutions University of Ghent (Belgium)
Universite de Toulouse (France)Permanent Link https://hdl.handle.net/11104/0337431
Number of the records: 1