Merkliste 
 1 Ergebnisse 
 
1

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