Počet záznamů: 1
Fixed Point Logics and Definable Topological Properties
- 1.FERNÁNDEZ-DUQUE, D., GOUGEON, P. Fixed Point Logics and Definable Topological Properties. In: CIABATTONI, A., PIMENTEL, E., DE QUEIROZ, R. J. G. B, eds. Logic, Language, Information, and Computation. Cham: Springer, 2022, roč. 13468 (2022), s. 36-52. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743. Dostupné z: doi: 10.1007/978-3-031-15298-6_3
Počet záznamů: 1