syn·thet·ic
Search or jump to…
Ctrl+K
Sign in
home
library
authors
David Fernández-Duque
David Fernández-Duque
Publications
The Topological Mu-Calculus: Completeness and Decidability. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque. 2021.