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

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
 
?
9

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
 
?
10

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
 
?
11

Quasi-Polish spaces:

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

Closed choice and a Uniform Low Basis Theorem:

Brattka, Vasco ; de Brecht, Matthew ; Pauly, Arno
Annals of Pure and Applied Logic.  163 (2012)  8 - p. 986-1008 , 2012
 
?
 
?
 
1-15