Fixed Point Logics and Definable Topological Properties

Autor:	David Fernández-Duque, Quentin Gougeon
Rok vydání:	2022
Zdroj:	Logic, Language, Information, and Computation ISBN: 9783031152979
DOI:	10.1007/978-3-031-15298-6_3
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f42cd256ccbb5449e638dde817e9698d https://doi.org/10.1007/978-3-031-15298-6_3 Zobrazit plný text záznamu