Ulrich Kohlenbach Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

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