| 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) |
