Ulrich Kohlenbach

62 papers A* 1C 5Journal 51Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the Computational Content of Moduli of Regularity and their Logical Strength. CoRR Ulrich Kohlenbach
2026	J	`jnl`	Quantitative results for a Tseng-type primal-dual method for composite monotone inclusions. Comput. Optim. Appl. Ulrich Kohlenbach, Nicholas Pischke
2025	J	`jnl`	Herbrand analyses in geometry: A case study. J. Log. Comput. Luisa Marie Després, Ulrich Kohlenbach
2023	J	`jnl`	On Modified Halpern and Tikhonov-Mann Iterations. J. Optim. Theory Appl. Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean
2022	J	`jnl`	Correction to: Quantitative analysis of a subgradient-type method for equilibrium problems. Numer. Algorithms Nicholas Pischke, Ulrich Kohlenbach
2022	J	`jnl`	On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Optim. Lett. Ulrich Kohlenbach
2022	J	`jnl`	Quantitative analysis of a subgradient-type method for equilibrium problems. Numer. Algorithms Nicholas Pischke, Ulrich Kohlenbach
2021	J	`jnl`	Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Arch. Math. Log. Ulrich Kohlenbach
2020	J	`jnl`	Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Comput. Math. Appl. Ulrich Kohlenbach, Thomas Powell
2019	J	`jnl`	A Polynomial Rate of Asymptotic Regularity for Compositions of Projections in Hilbert Space. Found. Comput. Math. Ulrich Kohlenbach
2019	J	`jnl`	On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Comput. Ulrich Kohlenbach
2018	J	`jnl`	Interrelation between Weak Fragments of double Negation Shift and Related Principles. J. Symb. Log. Makoto Fujiwara, Ulrich Kohlenbach
2017	J	`jnl`	20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
2017	J	`jnl`	21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. Inf. Comput. Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2017	J	`jnl`	A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces. Stud Logica Ulrich Kohlenbach, Adriana Nicolae
2017	J	`jnl`	Recent Progress in Proof Mining in Nonlinear Analysis. FLAP Ulrich Kohlenbach
2016	—	`ed.`	Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. CL&C Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi
2015	J	`jnl`	21st Workshop on Logic, Language, Information and Computation ( Log. J. IGPL Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2015	J	`jnl`	Classical provability of uniform versions and intuitionistic provability. Math. Log. Q. Makoto Fujiwara, Ulrich Kohlenbach
2015	J	`jnl`	On the Disjunctive Markov Principle. Stud Logica Ulrich Kohlenbach
2014	J	`jnl`	Fluctuations, effective learnability and metastability in analysis. Ann. Pure Appl. Log. Ulrich Kohlenbach, Pavol Safarik
2014	C	`ed.`	Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings WoLLIC Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2013	C	`ed.`	Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings WoLLIC Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
2013	J	`jnl`	Preface. Ann. Pure Appl. Log. Klaus Ambos-Spies, Joan Bagaria, Enrique Casanovas, Ulrich Kohlenbach
2012	J	`jnl`	Gödel functional interpretation and weak compactness. Ann. Pure Appl. Log. Ulrich Kohlenbach
2012	J	`jnl`	Term extraction and Ramsey's theorem for pairs. J. Symb. Log. Ulrich Kohlenbach, Alexander Kreuzer
2011	J	`jnl`	A note on the monotone functional interpretation. Math. Log. Q. Ulrich Kohlenbach
2010	J	`jnl`	On Tao's "finitary" infinite pigeonhole principle. J. Symb. Log. Jaime Gaspar, Ulrich Kohlenbach
2010	J	`jnl`	On the computational content of the Bolzano-Weierstraß Principle. Math. Log. Q. Pavol Safarik, Ulrich Kohlenbach
2009	J	`jnl`	Preface. Ann. Pure Appl. Log. Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
2009	J	`jnl`	Ramsey's Theorem for Pairs and Provably Recursive Functions. Notre Dame J. Formal Log. Ulrich Kohlenbach, Alexander Kreuzer
2008	—	`book`	Applied Proof Theory - Proof Interpretations and their Use in Mathematics. Ulrich Kohlenbach
2007	J	`jnl`	Proof Interpretations and the Computational Content of Proofs in Mathematics. Bull. EATCS Ulrich Kohlenbach
2007	J	`jnl`	Shoenfield is Gödel after Krivine. Math. Log. Q. Thomas Streicher, Ulrich Kohlenbach
2006	C	`conf`	A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. WoLLIC Ulrich Kohlenbach
2006	J	`jnl`	Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Log. Philipp Gerhardy, Ulrich Kohlenbach
2005	J	`jnl`	A complexity analysis of functional interpretations. Theor. Comput. Sci. Mircea-Dan Hernest, Ulrich Kohlenbach
2005	—	`conf`	Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs Ulrich Kohlenbach, Laurentiu Leustean
2005	J	`jnl`	Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. Philipp Gerhardy, Ulrich Kohlenbach
2005	—	`conf`	Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs Philipp Gerhardy, Ulrich Kohlenbach
2005	C	`conf`	Proof Mining in Functional Analysis. CiE Ulrich Kohlenbach
2004	A*	`conf`	An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach
2003	J	`jnl`	Proof mining in Ann. Pure Appl. Log. Ulrich Kohlenbach, Paulo Oliva
2002	J	`jnl`	On Weak Markov's Principle. Math. Log. Q. Ulrich Kohlenbach
2002	J	`jnl`	On uniform weak König's lemma. Ann. Pure Appl. Log. Ulrich Kohlenbach
2001	J	`jnl`	A note on Spector's quantifier-free rule of extensionality. Arch. Math. Log. Ulrich Kohlenbach
2001	J	`jnl`	Intuitionistic Choice and Restricted Classical Logic. Math. Log. Q. Ulrich Kohlenbach
2000	C	`conf`	On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. CCA Ulrich Kohlenbach
2000	J	`jnl`	Preface. Ann. Pure Appl. Log. Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel
2000	J	`jnl`	Things That Can and Things That Cannot Be Done in PRA. Ann. Pure Appl. Log. Ulrich Kohlenbach
1999	J	`jnl`	A Note on Goodman's Theorem. Stud Logica Ulrich Kohlenbach
1999	J	`jnl`	On The No-Counterexample Interpretation. J. Symb. Log. Ulrich Kohlenbach
1998	J	`jnl`	Elimination of Skolem functions for monotone formulas in analysis. Arch. Math. Log. Ulrich Kohlenbach
1998	J	`jnl`	On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. Ann. Pure Appl. Log. Ulrich Kohlenbach
1998	J	`jnl`	Relative Constructivity. J. Symb. Log. Ulrich Kohlenbach
1997	—	`conf`	Proof theory and computational analysis. COMPROX Ulrich Kohlenbach
1996	J	`jnl`	Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Arch. Math. Log. Ulrich Kohlenbach
1995	J	`jnl`	A note on the Arch. Math. Log. Ulrich Kohlenbach
1993	J	`jnl`	Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. Ann. Pure Appl. Log. Ulrich Kohlenbach
1992	J	`jnl`	Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. J. Symb. Log. Ulrich Kohlenbach
1992	J	`jnl`	Pointwise hereditary majorization and some applications. Arch. Math. Log. Ulrich Kohlenbach
1992	J	`jnl`	Remarks on Herbrand normal forms and Herbrand realizations. Arch. Math. Log. Ulrich Kohlenbach