Brecht, Matthew O.
99  Ergebnisse:
Personensuche X
?
 
?
7

Enumerating Classes of Effective Quasi-Polish Spaces:

, In: Revolutions and Revelations in Computability; Lecture Notes in Computer Science,
 
?
9

Some Notes on Spaces of Ideals and Computable Topology:

, In: Lecture Notes in Computer Science; Beyond the Horizon of Computability,
de Brecht, Matthew - p. 26-37 , 2020
 
?
10

Domain-complete and LCS-complete Spaces:

de Brecht, Matthew ; Goubault-Larrecq, Jean ; Jia, Xiaodong.
Electronic Notes in Theoretical Computer Science.  345 (2019)  - p. 3-35 , 2019
 
?
12

Descriptive Set Theory in the Category of Represented Space:

, In: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science,
Pauly, Arno ; De Brecht, Matthew - p. 438-449 , 2015
 
?
13

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),
Pauly, Arno ; Brecht, Matthew De - p. 438-449 , 2015
 
?
 
?
15

Quasi-Polish spaces:

de Brecht, Matthew
Annals of Pure and Applied Logic.  164 (2013)  3 - p. 356-381 , 2013
 
1-15