Philipp Gerhardy

	2009
5		Mathias Barra, Philipp Gerhardy: Skolem + Tetration Is Well-Ordered. CiE 2009: 11-20
	2006
4		Philipp Gerhardy, Ulrich Kohlenbach: Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Logic 141(1-2): 89-107 (2006)
	2005
3		Philipp Gerhardy, Ulrich Kohlenbach: Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs 2005
2		Philipp Gerhardy, Ulrich Kohlenbach: Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44(5): 633-644 (2005)
	2003
1		Philipp Gerhardy: Refined Complexity Analysis of Cut Elimination. CSL 2003: 212-225

Coauthor Index

1	Mathias Barra	[5]
2	Ulrich Kohlenbach	[2] [3] [4]

Colors in the list of coauthors