- in: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008)
- in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005) - in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
"Foundational and mathematical uses of higher types" (2002)
"The extended probabilistic power domain monad over stably compact spaces" (2006)
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
"On Tao's finitary infinite pigeonhole principle" (2010)
"Bisimulation in inquisitive modal logic" (2017)
- in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
"Term extraction and Ramsey's theorem for pairs." (2012)
- in: Dinis B. and Pinto P.
"On the convergence of algorithms with Tikhonov regularization terms" (2021) - in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
"Things that can and things that can't be done in PRA" (2000)
- in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Pischke N.
"Generalized Fejér monotone sequences and their finitary content" (2025)
"Denotational completness revisited" (1999)
- in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) - in: Kohlenbach U. and Nicolae A.
"A proof-theoretic bound extraction theorem for CAT-spaces" (2017) - in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) - in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001) - in: Kohlenbach U.
"A note on Goodman's theorem" (1999) - in: Kreuzer A.P. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004) - in: Otto M.
"An interpolation theorem" (2000) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012) - in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and . " (1994)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - 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: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) - in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005) - in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014) - in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - 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: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999) - in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004) - in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
- in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) - in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - in: Bae S.W., Baffier J.F., Chun J., Eades P., Eickmeyer K., Grilli L., Hong S.H., Korman M., Montecchiani F., Rutter I. and Tóth C.D.
"Gap-planar graphs" (2018) - in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008) - in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012) - 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.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Keimel K.
"Bi-continuous valuations" (1998) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Leuştean L.
"Proof mining in -trees and hyperbolic spaces " (2006) - in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- 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: Blumensath A.
"Simple Monadic Theories" (2008) - in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) - in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991)
- in: Bénabou J. and Streicher T.
"Partial Toposes" (2003) - in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014) - in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002) - 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: 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: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Dinis B. and Pinto P.
"Effective metastability for a method of alternating resolvents" (2024) - in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) - in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Horatiu Cheval U.K. and Leuştean L.
"On modified Halpern and Tikhonov-Mann iterations" (2023) - in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) - in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) - in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) - in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - 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: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) - in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) - in: Streicher T.
"Semantics of Type Theory" (1991)
- 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)
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) - in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- 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)
"Bounded-variable logics: two, three, and more" (1999)
"Canonical models and filtrations in three-valued propositional modal logic" (2002)
"Expressive completeness through logically tractable models" (2013)
"On the convergence of algorithms with Tikhonov regularization terms" (2021)
"On modified Halpern and Tikhonov-Mann iterations" (2023)
- 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)
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
"A tiny constraint functional logic language and its continuation semantics." (1994)
"Eliminating recursion in the mu-calculus" (1999)
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
"Modular functional modelling of Petri nets with individual tokens. " (1992)
- in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) - 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.
"The intrinsic topology of Martin-Löf universes" (2016) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) - 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.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Streicher T.
"Universes in Toposes" (2005)
