| |
| 2006 | ||
|---|---|---|
| 4 | EE | Philipp Gerhardy, Ulrich Kohlenbach: Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Logic 141(1-2): 89-107 (2006) |
| 2005 | ||
| 3 | EE | Philipp Gerhardy, Ulrich Kohlenbach: Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs 2005 |
| 2 | EE | Philipp Gerhardy, Ulrich Kohlenbach: Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44(5): 633-644 (2005) |
| 2003 | ||
| 1 | EE | Philipp Gerhardy: Refined Complexity Analysis of Cut Elimination. CSL 2003: 212-225 |
| 1 | Ulrich Kohlenbach | [2] [3] [4] |