"Logical theories and compatible operations" (2007)
- in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
- in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003) - in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
"Herbrand analyses in geometry: a case study" (2025)
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) - in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) - in: Dinis B. and Pinto P.
"Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021) - in: Findling R. and Kohlenbach U.
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024) - in: Freund A. and Kohlenbach U.
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022) - in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008) - in: Gerhardy P. and Kohlenbach U.
"General Logical Metatheorems for Functional Analysis" (2005) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) - in: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008) - in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U. and Pinto P.
"Fejér monotone sequences revisited" (2025) - in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) - in: Kohlenbach U. and Pinto P.
"Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) - in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017) - in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) - in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011) - in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007) - in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005) - in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) - in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998) - in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) - in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993) - in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993) - in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007) - in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013) - in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pinto P.
"A rate of metastability for the Halpern type Proximal Point Algorithm" (2021) - in: Pischke N. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024) - in: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023) - in: Pischke N. and Kohlenbach U.
"Quantitative analysis of a subgradient-type method for equilibrium problems" (2022) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012) - in: Streicher T.
"Universes in Toposes" (2005)
- in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) - in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011)
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014) - in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006) - in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) - in: Freund A. and Rathjen M.
"Derivatives of normal functions in reverse mathematics" (2021) - in: Keimel K. and Lawson J.D.
"-completions and the -topology" (2009) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009) - in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) - in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012) - in: Kohlenbach U. and Oliva P.
"Proof mining in L-approximation" (2003) - in: Kohlenbach U.
"On uniform weak König's lemma" (2002) - in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) - in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) - in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) - in: Otto M.
"Expressive completeness through logically tractable models" (2013) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) - in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"Primitive recursion and the chain antichain principle." (2012)
- in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023)
- in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Leuştean L.
"Baer extensions of BL-algebras" (2006)
- in: Bénabou J. and Streicher T.
"Partial Toposes" (2003) - in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) - in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012) - in: Streicher T.
"Inductive construction of repletion" (1999)
- in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) - in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) - in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007) - in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) - in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999) - in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005) - in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999) - in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U. and Pinto P.
"Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022) - in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) - in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017) - in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) - in: Leuştean L. and Pinto P.
"Quantitative results on a Halpern-type proximal point algorithm" (2021) - in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007) - in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013) - in: Pischke N.
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025) - in: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014) - in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006) - in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) - in: Freund A. and Kohlenbach U.
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022) - in: Freund A. and Rathjen M.
"Derivatives of normal functions in reverse mathematics" (2021) - in: Keimel K. and Lawson J.D.
"-completions and the -topology" (2009) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009) - in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) - in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - in: Kohlenbach U. and Oliva P.
"Proof mining in L-approximation" (2003) - in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) - in: Kohlenbach U.
"On uniform weak König's lemma" (2002) - in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) - in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) - in: Otto M.
"Expressive completeness through logically tractable models" (2013) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) - in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
"On modified Halpern and Tikhonov-Mann iterations" (2023)
- in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999) - in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005)
- in: Findling R. and Kohlenbach U.
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) - in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992) - in: Kohlenbach U. and Pinto P.
"Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022) - in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) - in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
