"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
- in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011)
- 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: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
"Boundedness of monadic second-order formulae over finite words" (2009)
"Complexity of Laplace's and Poisson's Equation" (2014)
"Queries with guarded negation" (2012)
"Arithmetizing proofs in analysis" (1998)
"Arithmetizing proofs in analysis" (1998)
"Some trends in lattice-ordered groups and rings" (1995)
- in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
- in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) - in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
- in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012) - in: Keimel K. and Lawson J.D.
"-completions and the -topology" (2009) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009) - in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005)
"Compact continuous L-domains" (1999)
"Fluctuations, effective learnability and metastability in analysis" (2014)
"Real Computation with Least Discrete Advice" (2012)
- in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997)
"Relative completeness for logics of functional programs." (2011)
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016)
"Interview on the Philosophy of Mathematics" (2008)
- in: Kohlenbach U.
"On uniform weak König's lemma" (2002) - in: Pinto P.
"On quantitative versions of Xu's Lemma" (2023)
- in: Dinis B. and Pinto P.
"On the convergence of algorithms with Tikhonov regularization terms" (2021) - in: Kohlenbach U.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022) - in: Leuştean L. and Pinto P.
"Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024) - in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996) - in: Otto M.
"Note on the number of monadic quantifiers in monadic " (1995)
- 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) - 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: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) - in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) - in: Horatiu Cheval U.K. and Leuştean L.
"On modified Halpern and Tikhonov-Mann iterations" (2023) - in: Kohlenbach U., Leuştean L. and Nicolae A.
"Quantitative results on Fejér monotone sequences " (2018) - in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - 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.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - 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: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - in: Leuştean L. and Pinto P.
"Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024) - in: Leuştean L. and Pinto P.
"Quantitative results on a Halpern-type proximal point algorithm" (2021) - in: Leuştean L., Nicolae A. and Sipoş A.
"An abstract proximal point algorithm" (2018) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) - 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: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - in: Leuştean L.
"Baer extensions of BL-algebras" (2006) - in: Leuştean L.
"Proof mining in -trees and hyperbolic spaces " (2006) - in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) - in: Leuştean L.
"Representations of many-valued algebras" (2004) - in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) - in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) - in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001) - in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000) - in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
- in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
"Capturing bisimulation-invariant Ptime" (1997)
"The extended probabilistic power domain monad over stably compact spaces" (2006)
- in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) - in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999)
"The use of a logical principle of uniform boundedness in analysis" (1999)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000)
"Computational Complexity of Quantum Satisfiability" (2011)
- in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"Generalized quantifiers for simple properties" (1994)
- in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) - in: Lietz P. and Streicher T.
"Impredicativity entails untypedness" (2002)
"On the computational content of convergence proofs via Banach limitd." (2012)
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000)
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021)
"Pebble games and linear equations" (2012)
"Relative completeness for logics of functional programs." (2011)
- in: Barbălată C. and Leuştean L.
"Average monthly liquid flow forecasting using neural networks" (2004) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)
- in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Kartzow A.
"FO Model Checking on Nested Pushdown Trees" (2009) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) - in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017)
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017)
- in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006)
"A tiny constraint functional logic language and its continuation semantics." (1994)
"Logical theories and compatible operations" (2007)
- in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005)
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (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) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - 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., 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 Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - 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: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Ciardelli I. and Otto M.
"Bisimulation in inquisitive modal logic" (2017) - in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Despres L.M. and Kohlenbach U.
"Herbrand analyses in geometry: a case study" (2025) - in: Di Nola A. and Leuştean L.
"Compact representations of BL-algebras" (2003) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017) - in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) - in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) - in: Freund A.
"A mathematical commitment without computational strength" (2022) - in: Freund A. and Rathjen M.
"Derivatives of normal functions in reverse mathematics" (2021) - in: Freund A.
"Well ordering principles and Pi-statements: a pilot study" (2021) - in: Freund A.
"A note on ordinal exponentiation and derivatives of normal functions" (2020) - in: Freund A.
"Computable Aspects of the Bachmann-Howard Principle" (2020) - in: Freund A.
"How strong are single fixed points of normal functions?" (2020) - in: Freund A.
"Predicative Collapsing Principles" (2020) - in: Freund A. and Pakhomov F.
"Short Proofs for Slow Consistency" (2020) - in: Freund A.
"What is effective transfinite recursion in reverse mathematics?" (2020) - in: Freund A.
"A Note on Iterated Consistency and Infinite Proofs" (2019) - in: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018) - in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) - in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) - in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) - in: Gerhardy P. and Kohlenbach U.
"Extracting Herbrand Disjuntions by Functional Interpretation" (2005) - in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) - in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) - in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) - 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: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) - in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) - in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006) - 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: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005) - in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023) - in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) - in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) - 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.
"A note on the monotone functional interpretation" (2011) - 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.
"On weak Markov's principle" (2002) - in: Kohlenbach U.
"A note on Spector's quantifier-free rule of extensionality" (2001) - in: Kohlenbach U.
"Intuitionistic choice and restricted classical logic" (2001) - in: Kohlenbach U.
"Intuitionistic choice and restricted classical logic" (2001) - in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) - in: Kohlenbach U.
"On the no-counterexample interpretation" (1999) - 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.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Kohlenbach U.
"Relative constructivity" (1998) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - 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.
"A note on the -induction rule" (1995) - 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.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992) - in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) - in: Kohlenbach U.
"Remarks on Herbrand normal forms and Herbrand Realizations" (1992) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012) - in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012) - in: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraß principle." (2011) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009) - in: Leuştean L.
"Baer extensions of BL-algebras" (2006) - in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) - in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) - in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) - in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (2001) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (1999) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013) - in: Otto M.
"Expressive completeness through logically tractable models" (2013) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) - in: Otto M.
"Bisimulation invariance and finite models" (2006) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Otto M.
"An interpolation theorem" (2000) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M.
"Bounded-variable logics: two, three, and more" (1999) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997) - in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) - in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) - in: Otto M.
"The expressive power of fixed-point logic with counting" (1996) - in: Otto M.
"The expressive power of fixed-point logic with counting" (1996) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"Generalized quantifiers for simple properties" (1994) - in: Otto M.
"Automorphism properties of stationary logic" (1992) - in: Otto M.
"Automorphism properties of stationary logic" (1992) - in: Otto M.
"EM functors for a class of generalized quantifiers" (1992) - in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013) - in: Pischke N.
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024) - in: Pischke N.
"On Infinitary Gödel Logics" (2023) - in: Pischke N.
"On Intermediate Justification Logics" (2023) - in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) - in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004) - in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998) - in: Safarik P. and Kohlenbach U.
"On the computational content of the Bolzano-Weierstrass principle" (2010) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) - in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) - in: Kohlenbach U. and Nicolae A.
"A proof-theoretic bound extraction theorem for CAT-spaces" (2017) - in: Kohlenbach U.
"On the disjunctive Markov principle" (2015) - in: Kohlenbach U.
"A note on Goodman's theorem" (1999) - in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014) - in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) - in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) - in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011) - in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - 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: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2014) - in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) - 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: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) - in: Pischke N.
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024) - 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: Streicher T.
"A classical realizability model arising from a stable model of untyped lambda calculus." (2017)
"Expressive completeness through logically tractable models" (2013)
- in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014) - 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: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) - in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017) - in: Otto M.
"Bounded-variable logics: two, three, and more" (1999) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997) - in: Pischke N.
"On Infinitary Gödel Logics" (2023) - in: Pischke N.
"On Intermediate Justification Logics" (2023) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) - in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019)
- 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., López-Acedo G. and Nicolae A.
"Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Quantitative asymptotic regularity for the composition of two mappings" (2017)
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
"Universality Results for Models in Locally Boolean Domains" (2006)
"Beth definability for the guarded fragment" (1999)
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013)
