2002 | ||
---|---|---|
10 | EE | Robert C. Flagg, Philipp Sünderhauf: The essence of ideal completion in quantitative form. Theor. Comput. Sci. 278(1-2): 141-158 (2002) |
2000 | ||
9 | EE | Philipp Sünderhauf: Sobriety in Terms of Nets. Applied Categorical Structures 8(4): 649-653 (2000) |
1999 | ||
8 | EE | Philipp Sünderhauf: Continuous Domains and Banach Spaces. Electr. Notes Theor. Comput. Sci. 24: (1999) |
7 | EE | Abbas Edalat, David W. Matula, Philipp Sünderhauf: Preface. Electr. Notes Theor. Comput. Sci. 24: (1999) |
6 | EE | Abbas Edalat, Philipp Sünderhauf: A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210(1): 73-98 (1999) |
5 | EE | Abbas Edalat, Philipp Sünderhauf: Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219(1-2): 169-184 (1999) |
1998 | ||
4 | EE | Abbas Edalat, Peter John Potts, Philipp Sünderhauf: Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194 |
3 | EE | Philipp Sünderhauf: Spaces of valuations as quasimetric domains. Electr. Notes Theor. Comput. Sci. 13: (1998) |
1997 | ||
2 | EE | Philipp Sünderhauf: Tensor products and powerspaces in quantitative domain theory. Electr. Notes Theor. Comput. Sci. 6: (1997) |
1995 | ||
1 | EE | Philipp Sünderhauf: A Faithful Computational Model of the Real Numbers. Theor. Comput. Sci. 151(1): 277-294 (1995) |
1 | Abbas Edalat | [4] [5] [6] [7] |
2 | Robert C. Flagg | [10] |
3 | David W. Matula | [7] |
4 | Peter John Potts | [4] |