| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 8 |      | Mathias Barra, Philipp Gerhardy: The Ordinal of Skolem + Tetration Is tau0. CiE 2010: 31-38 |
| 2009 | ||
| 7 | | Mathias Barra, Philipp Gerhardy: Skolem + Tetration Is Well-Ordered. CiE 2009: 11-20 |
| 2008 | ||
| 6 | | Philipp Gerhardy: Proof Mining in Topological Dynamics. Notre Dame Journal of Formal Logic 49(4): 431-446 (2008) |
| 2006 | ||
| 5 | | Philipp Gerhardy, Ulrich Kohlenbach: Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Logic 141(1-2): 89-107 (2006) |
| 2005 | ||
| 4 | | Philipp Gerhardy, Ulrich Kohlenbach: Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs 2005 |
| 3 | | Philipp Gerhardy, Ulrich Kohlenbach: Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44(5): 633-644 (2005) |
| 2 | | Philipp Gerhardy: The Role of Quantifier Alternations in Cut Elimination. Notre Dame Journal of Formal Logic 46(2): 165-171 (2005) |
| 2003 | ||
| 1 | | Philipp Gerhardy: Refined Complexity Analysis of Cut Elimination. CSL 2003: 212-225 |
| 1 | Mathias Barra | [7] [8] |
| 2 | Ulrich Kohlenbach | [3] [4] [5] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page