( en | de | ru )

 

Disambiguation of "Gerhardy, Philipp"

Author of the publication

copydeleteadd this publication to your clipboard
Strongly uniform bounds from semi-constructive proofs.

, and . Ann. Pure Appl. Log., 141 (1-2): 89-107 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karin Gerhardy

Christof Gerhardy

Hubert Gerhardy

Hubert Gerhardy

Hans Gerhardy

 

Other publications of authors with the same name

The Ordinal of Skolem + Tetration Is tau0., and . CiE, volume 6158 of Lecture Notes in Computer Science, page 31-38. Springer, (2010)Proof Mining in Topological Dynamics.. Notre Dame J. Formal Log., 49 (4): 431-446 (2008)Extracting Herbrand disjunctions by functional interpretation., and . Arch. Math. Log., 44 (5): 633-644 (2005)Skolem + Tetration Is Well-Ordered., and . CiE, volume 5635 of Lecture Notes in Computer Science, page 11-20. Springer, (2009)Strongly uniform bounds from semi-constructive proofs., and . Ann. Pure Appl. Log., 141 (1-2): 89-107 (2006)The Role of Quantifier Alternations in Cut Elimination.. Notre Dame J. Formal Log., 46 (2): 165-171 (2005)Refined Complexity Analysis of Cut Elimination.. CSL, volume 2803 of Lecture Notes in Computer Science, page 212-225. Springer, (2003)Generalized metatheorems on the extractability of uniform bounds in functional analysis., and . Mathematics, Algorithms, Proofs, volume 05021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)