|
Search the dblp DataBase
Philipp Gerhardy:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Philipp Gerhardy
Refined Complexity Analysis of Cut Elimination. [Citation Graph (0, 0)][DBLP] CSL, 2003, pp:212-225 [Conf]
- Philipp Gerhardy, Ulrich Kohlenbach
Generalized metatheorems on the extractability of uniform bounds in functional analysis. [Citation Graph (0, 0)][DBLP] Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
- Philipp Gerhardy, Ulrich Kohlenbach
Extracting Herbrand disjunctions by functional interpretation. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2005, v:44, n:5, pp:633-644 [Journal]
- Philipp Gerhardy, Ulrich Kohlenbach
Strongly uniform bounds from semi-constructive proofs. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:89-107 [Journal]
Skolem + Tetration Is Well-Ordered. [Citation Graph (, )][DBLP]
The Ordinal of Skolem + Tetration Is tau0. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|