- in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003)
- in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008)
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018)
- in: Freund A.
"Patterns of resemblance and Bachmann-Howard fixed points" (2022) - in: Freund A.
"Computable Aspects of the Bachmann-Howard Principle" (2020) - in: Freund A.
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019)
- in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000)
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022)
"Gap-planar graphs" (2018)
"Baer extensions of BL-algebras" (2006)
"Gap-planar graphs" (2018)
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
"Some trends in lattice-ordered groups and rings" (1995)
"The freedoms of (guarded) bisimulation" (2014)
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - 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.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - 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: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014) - in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010)
- in: Barbălată C. and Leuştean L.
"Average monthly liquid flow forecasting using neural networks" (2004) - in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
"Queries with guarded negation" (2012)
"Computability in Basic Quantum Mechanics." (2018)
"Observationally-induced algebras in Domain Theory" (2014)
"Things that can and things that can't be done in PRA" (2000)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- 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: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024)
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
"Partial Toposes" (2003)
"Real Benefit of Promises and Advice" (2013)
"Model Theory of Modal Logic" (2006)
"The freedoms of (guarded) bisimulation" (2014)
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
"A functional interpretation for nonstandard arithmetic." (2012)
- in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003)
- 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)
"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)
"Beth definability for the guarded fragment" (1999)
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013)
- in: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000) - 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)
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021)
"Bi-continuous valuations" (1998)
"Bicontinuous domains and some old problems in domain theory" (2009)
"Projective topology on bifinite domains and applications" (2006)
"Semantics of Type Theory" (1991)
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
- in: Ciardelli I. and Otto M.
"Inquisitive bisimulation" (2018) - in: Ciardelli I. and Otto M.
"Bisimulation in inquisitive modal logic" (2017) - in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013) - in: Otto M.
"Bisimulation invariance and finite models" (2006)
- in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997)
"Model Theory of Modal Logic" (2006)
- in: Di Nola A. and Leuştean L.
"Compact representations of BL-algebras" (2003) - in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) - in: Leuştean L.
"Baer extensions of BL-algebras" (2006) - in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) - in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- 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.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008) - in: Blumensath A.
"Simple Monadic Theories" (2008) - in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) - in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006) - in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) - in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - in: Blumensath A.
"Axiomatising tree-interpretable structures" (2004) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004) - in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Blumensath A.
"Structures of Bounded Partition Width" (2003) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) - in: Blumensath A.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001) - in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Blumensath A.
"Automatic Structures" (1999)
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
"The cohesive principle and the Bolzano-Weierstraß principle." (2011)
"On the computational content of the Bolzano-Weierstrass principle" (2010)
- in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006)
- in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012)
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
"Semantics of Type Theory" (1991)
"Certifying optimality of state estimation programs" (2003)
"A proof-theoretic bound extraction theorem for CAT-spaces" (2017)
- in: Blumensath A.
"Structures of Bounded Partition Width" (2003) - in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) - in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006)
"Bounded-variable logics: two, three, and more" (1999)
- in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)
"Real Benefit of Promises and Advice" (2013)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- in: Pinto P. and Pischke N.
"On Dykstra's algorithm with Bregman projections" (2024) - in: Pischke N.
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025) - in: Pischke N. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024)
"General Logical Metatheorems for Functional Analysis" (2005)
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) - 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)
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
- in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) - in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) - in: Broy M. and Streicher T.
"Views of distributed systems." (1987)
- 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: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007) - in: Freund A.
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019) - in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) - in: Kohlenbach U.
"Proof interpretations and the computational content of proofs in mathematics" (2007) - in: Otto M.
"An interpolation theorem" (2000)
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Definable Completeness" (2004) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- 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)
