"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)
"Specification and design of shared resource arbitration." (1991)
- in: Gerhardy P. and Kohlenbach U.
"Extracting Herbrand Disjuntions by Functional Interpretation" (2005)
- in: Kohlenbach U.
"A note on Spector's quantifier-free rule of extensionality" (2001) - in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998) - in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) - in: Kohlenbach U.
"A note on the -induction rule" (1995) - in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) - in: Kohlenbach U.
"Remarks on Herbrand normal forms and Herbrand Realizations" (1992)
- in: Di Nola A. and Leuştean L.
"Compact representations of BL-algebras" (2003) - in: Freund A.
"A Note on Iterated Consistency and Infinite Proofs" (2019) - in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) - in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006) - in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) - in: Otto M.
"Bounded-variable logics: two, three, and more" (1999) - in: Otto M.
"EM functors for a class of generalized quantifiers" (1992)
- in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on are continuous." (2002) - in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Freund A.
"How strong are single fixed points of normal functions?" (2020) - in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
"Boundedness of monadic FO over acyclic structures" (2007)
- 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: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
- in: Freund A.
"Pi-Comprehension as a Well-Ordering Principle" (2019) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
- in: Kohlenbach U.
"Higher order reverse mathematics" (2005) - in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) - in: Otto M.
"Bisimulation invariance and finite models" (2006)
- in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Freund A.
"Computable Aspects of the Bachmann-Howard Principle" (2020) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005)
"Bounded Arithmetic and Descriptive Complexity" (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: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007) - in: Briseid E.M.
"Some Results on Kirk's Asymptotic Contractions" (2007) - 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.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Kohlenbach U.
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Quantitative asymptotic regularity for the composition of two mappings" (2017) - in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016) - in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011) - in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) - in: Leuştean L. and Pinto P.
"Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024) - in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007) - in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - in: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024)
- in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
"Some classes of pseudo-BL algebras" (2002)
- in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002) - in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)
- in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Blumensath A.
"Automatic Structures" (1999) - in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008)
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
"Automorphism properties of stationary logic" (1992)
"Average monthly liquid flow forecasting using neural networks" (2004)
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014) - in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007)
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
