Fixed Point Logics and Definable Topological Properties.

David Fernndez-Duque, Quentin Gougeon

Browse the full WoLLIC paper archive.