| |
| 2009 | ||
|---|---|---|
| 3 | EE | Hannes Diener, Iris Loeb: Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1): 50-61 (2009) |
| 2008 | ||
| 2 | EE | Hannes Diener: Generalising compactness. Math. Log. Q. 54(1): 49-57 (2008) |
| 2006 | ||
| 1 | EE | Douglas S. Bridges, Hannes Diener: A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. 52(5): 464-469 (2006) |
| 1 | Douglas S. Bridges | [1] |
| 2 | Iris Loeb | [3] |