Personensuche
X
?
Revolutions and Revelations in Computability; Lecture Notes in Computer Science ,
7
Enumerating Classes of Effective Quasi-Polish Spaces:
, In:
?
Lecture Notes in Computer Science; Beyond the Horizon of Computability ,
9
Some Notes on Spaces of Ideals and Computable Topology:
, In:
?
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ,
12
Descriptive Set Theory in the Category of Represented Space:
, In:
?
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
13
Descriptive Set Theory in the Category of Represented Space:
, In:
?
Logic, Computation, Hierarchies ,
14