Ulrich Kohlenbach

	2011
32		Ulrich Kohlenbach: A note on the monotone functional interpretation. Math. Log. Q. 57(6): 611-614 (2011)
	2010
31		Jaime Gaspar, Ulrich Kohlenbach: On Tao's "finitary" infinite pigeonhole principle. J. Symb. Log. 75(1): 355-371 (2010)
30		Pavol Safarik, Ulrich Kohlenbach: On the computational content of the Bolzano-Weierstraß Principle. Math. Log. Q. 56(5): 508-532 (2010)
	2009
29		Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov: Preface. Ann. Pure Appl. Logic 159(3): 249-250 (2009)
28		Ulrich Kohlenbach, Alexander Kreuzer: Ramsey's Theorem for Pairs and Provably Recursive Functions. Notre Dame Journal of Formal Logic 50(4): 427-444 (2009)
	2007
27		Ulrich Kohlenbach: Proof Interpretations and the Computational Content of Proofs in Mathematics. Bulletin of the EATCS 93: 143-175 (2007)
26		Thomas Streicher, Ulrich Kohlenbach: Shoenfield is Gödel after Krivine. Math. Log. Q. 53(2): 176-179 (2007)
	2006
25		Philipp Gerhardy, Ulrich Kohlenbach: Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Logic 141(1-2): 89-107 (2006)
24		Ulrich Kohlenbach: A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. Electr. Notes Theor. Comput. Sci. 165: 81-93 (2006)
	2005
23		Ulrich Kohlenbach: Proof Mining in Functional Analysis. CiE 2005: 233-234
22		Ulrich Kohlenbach, Laurentiu Leustean: Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs 2005
21		Philipp Gerhardy, Ulrich Kohlenbach: Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs 2005
20		Philipp Gerhardy, Ulrich Kohlenbach: Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44(5): 633-644 (2005)
19		Mircea-Dan Hernest, Ulrich Kohlenbach: A complexity analysis of functional interpretations. Theor. Comput. Sci. 338(1-3): 200-246 (2005)
	2004
18		Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach: An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS 2004: 192-201
	2003
17		Ulrich Kohlenbach, Paulo Oliva: Proof mining in L1-approximation. Ann. Pure Appl. Logic 121(1): 1-38 (2003)
	2002
16		Ulrich Kohlenbach: On uniform weak König's lemma. Ann. Pure Appl. Logic 114(1-3): 103-116 (2002)
15		Ulrich Kohlenbach: On Weak Markov's Principle. Math. Log. Q. 48(S1): 59-65 (2002)
	2001
14		Ulrich Kohlenbach: A note on Spector's quantifier-free rule of extensionality. Arch. Math. Log. 40(2): 89-92 (2001)
13		Ulrich Kohlenbach: Intuitionistic Choice and Restricted Classical Logic. Math. Log. Q. 47(4): 455-460 (2001)
	2000
12		Ulrich Kohlenbach: On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. CCA 2000: 119-145
11		Ulrich Kohlenbach: Things That Can and Things That Cannot Be Done in PRA. Ann. Pure Appl. Logic 102(3): 223-245 (2000)
10		Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel: Preface. Ann. Pure Appl. Logic 104(1-3): 1-2 (2000)
	1999
9		Ulrich Kohlenbach: On The No-Counterexample Interpretation. J. Symb. Log. 64(4): 1491-1511 (1999)
8		Ulrich Kohlenbach: A Note on Goodman's Theorem. Studia Logica 63(1): 1-5 (1999)
	1998
7		Ulrich Kohlenbach: On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. Ann. Pure Appl. Logic 95(1-3): 257-285 (1998)
6		Ulrich Kohlenbach: Elimination of Skolem functions for monotone formulas in analysis. Arch. Math. Log. 37(5-6): 363-390 (1998)
5		Ulrich Kohlenbach: Proof theory and computational analysis. Electr. Notes Theor. Comput. Sci. 13: 124-157 (1998)
4		Ulrich Kohlenbach: Relative Constructivity. J. Symb. Log. 63(4): 1218-1238 (1998)
	1996
3		Ulrich Kohlenbach: Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Arch. Math. Log. 36(1): 31-71 (1996)
	1993
2		Ulrich Kohlenbach: Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. Ann. Pure Appl. Logic 64(1): 27-94 (1993)
	1992
1		Ulrich Kohlenbach: Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. J. Symb. Log. 57(4): 1239-1273 (1992)

Coauthor Index

1	Yohji Akama	[18]
2	Stefano Berardi	[18]
3	Carsten Butz	[10]
4	Yuri Leonidovich Ershov	[29]
5	Jaime Gaspar	[31]
6	Philipp Gerhardy	[20] [21] [25]
7	Susumu Hayashi	[18]
8	Mircea-Dan Hernest	[19]
9	Klaus Keimel	[29]
10	Alexander Kreuzer	[28]
11	Laurentiu Leustean	[22]
12	Andrei Morozov	[29]
13	Paulo Oliva	[17]
14	Søren Riis	[10]
15	Pavol Safarik	[30]
16	Thomas Streicher	[26]
17	Glynn Winskel	[10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page