home

authors

David Fern%C3%A1ndez-Duque

account

chatqed

references

items
authors
citations

tools

unicode

settings
help

David Fernández-Duque

Publications

The Topological Mu-Calculus: Completeness and Decidability. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque. 2021.

about
privacy
terms
licences
contact

©2024 Synthetic