Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
David Fern%C3%A1ndez-Duque
David Fernández-Duque
Publications
The Topological Mu-Calculus: Completeness and Decidability. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque. 2021.