2008 | ||
---|---|---|
5 | EE | Guido Gherardi, Alberto Marcone: How Incomputable is the Separable Hahn-Banach Theorem? Electr. Notes Theor. Comput. Sci. 221: 85-102 (2008) |
2007 | ||
4 | EE | Guido Gherardi: Internal Computability. CiE 2007: 348-357 |
3 | EE | Vasco Brattka, Guido Gherardi: Borel Complexity of Topological Operations on Computable Metric Spaces. CiE 2007: 83-97 |
2006 | ||
2 | EE | Guido Gherardi: An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability. CiE 2006: 199-208 |
1 | EE | Guido Gherardi: Effective Borel degrees of some topological functions. Math. Log. Q. 52(6): 625-642 (2006) |
1 | Vasco Brattka | [3] |
2 | Alberto Marcone | [5] |