Documents

Articles

		[ABS+07] Awodey S. et al., "Relating first-order set theories and..." (2007)
		[ABS+14] Awodey S. et al., "Relating first-order set theories,..." (2014)
		[AFR+21] Aguilera J.P. et al., "Ackermann and Goodstein go functorial" (2021)
		[AFR+22] Aguilera J.P. et al., "Boundedness theorems for flowers and..." (2022)
		[AK+06] Abbes S. et al., "Projective topology on bifinite domains..." (2006)
		[Zie12] Ziegler M., "Real Computation with Least Discrete..." (2012)
		[BBC+18] Bae S.W. et al., "Gap-planar graphs" (2018)
		[BFJ+00] Bunge M. et al., "Distribution algebras and duality" (2000)
		[BFJ+02] Bunge M. et al., "The Michael completion of a topos spread" (2002)
		[BFJ+04] Bunge M. et al., "Definable Completeness" (2004)
		[BKS+14] Battenfeld I. et al., "Observationally-induced algebras in..." (2014)
		[BK+18] Bacak M. et al., "On proximal mappings with Young funct..." (2018)
		[BGO+14] Barany V. et al., "Querying the guarded fragment" (2014)
		[BS+03] Bénabou J. et al., "Partial Toposes" (2003)
		[BBS+12] Berg (van den) B. et al., "A functional interpretation for..." (2012)
		[Blu04] Blumensath A., "Axiomatising tree-interpretable..." (2004)
		[Blu06] Blumensath A., "A Model Theoretic Characterisation of..." (2006)
		[Blu08] Blumensath A., "On the structure of graphs in the Caucal..." (2008)
		[BC+06] Blumensath A. et al., "Recognizability, Hypergraph Operations,..." (2006)
		[BG+04] Blumensath A. et al., "Finite Presentations of Infinite..." (2004)
		[BK+05] Blumensath A. et al., "An Extension to Muchnik's Theorem" (2005)
		[BOW+14] Blumensath A. et al., "Decidability results for the boundedness..." (2014)
		[BS+91] Broy M. et al., "Specification and design of shared..." (1991)
		[Bri07] Briseid E.M., "A Rate of Convergence for Asymptotic..." (2007)
		[Bri07b] Briseid E.M., "Addendum to the Paper: Some Results on..." (2007)
		[Bri07c] Briseid E.M., "Some Results on Kirk's Asymptotic..." (2007)
		[Bri08] Briseid E.M., "Fixed Points of Generalized Contractive..." (2008)
		[Bri09] Briseid E.M., "Logical Aspects of Rates of Convergence..." (2009)
		[Bri10] Briseid E.M., "A New Uniformity for Asymptotic..." (2010)
		[HL+23] Horatiu Cheval U.K. et al., "On modified Halpern and Tikhonov-Mann..." (2023)
		[DO+09] Dawar A. et al., "Modal Characterisation Theorems over..." (2009)
		[DK+25] Despres L.M. et al., "Herbrand analyses in geometry: a case..." (2025)
		[DGL+00] Di Nola A. et al., "Boolean products of BL-algebras" (2000)
		[DL+03] Di Nola A. et al., "Compact representations of BL-algebras" (2003)
		[DP+20] Dinis B. et al., "Metastability of the proximal point..." (2020)
		[DP+21b] Dinis B. et al., "Quantitative Results on the..." (2021)
		[DP+21] Dinis B. et al., "On the convergence of algorithms with..." (2021)
		[DP+23] Dinis B. et al., "Strong convergence for the alternating..." (2023)
		[DP+24] Dinis B. et al., "Effective metastability for a method of..." (2024)
		[EHS+04] Escardó M. et al., "On the non-sequential nature of the..." (2004)
		[ES+16] Escardó M. et al., "The intrinsic topology of Martin-L&ou..." (2016)
		[EEH+17] Eickmeyer K. et al., "Succinctness of Order-Invariant Logic..." (2017)
		[ES+02] Escardó M. et al., "In domain realizability, not all..." (2002)
		[ES+99] Escardó M. et al., "Induction and recursion on the partial..." (1999)
		[FKM+13] Fedel M. et al., "Imprecise probabilities, bets, and..." (2013)
		[FP+20] Freund A. et al., "Short Proofs for Slow Consistency" (2020)
		[FR+21] Freund A. et al., "Derivatives of normal functions in..." (2021)
		[FRW+22] Freund A. et al., "Minimal bad sequences are necessary f..." (2022)
		[FK+24] Findling R. et al., "Rates of convergence and metastability..." (2024)
		[Fre19b] Freund A., "A Note on Iterated Consistency and..." (2019)
		[Fre19c] Freund A., "Pi" (2019)
		[Fre19] Freund A., "A Categorical Construction of..." (2019)
		[Fre20b] Freund A., "Computable Aspects of the Bachmann-Ho..." (2020)
		[Fre20e] Freund A., "Predicative Collapsing Principles" (2020)
		[Fre20d] Freund A., "How strong are single fixed points of..." (2020)
		[Fre20] Freund A., "A note on ordinal exponentiation and..." (2020)
		[Fre20f] Freund A., "Set-theoretic reflection is equivalen..." (2020)
		[Fre20c] Freund A., "From Kruskal's theorem to Friedman's gap..." (2020)
		[Fre20g] Freund A., "What is effective transfinite recursion..." (2020)
		[Fre21] Freund A., "Well ordering principles and Pi$...$" (2021)
		[Fre22] Freund A., "A mathematical commitment without..." (2022)
		[Fre22b] Freund A., "Patterns of resemblance and..." (2022)
		[FK+22] Freund A. et al., "R.E. Bruck, proof mining and a rate of..." (2022)
		[FK+23] Freund A. et al., "Bounds for a nonlinear ergodic theorem..." (2023)
		[FK+15] Fujiwara M. et al., "Classical provability of uniform vers..." (2015)
		[FK+18] Fujiwara M. et al., "Interrelation between weak fragments of..." (2018)
		[GZ+11] Gärtner T. et al., "Real Analytic Machines and Degrees" (2011)
		[Gas13] Gaspar J., "Negative translations not..." (2013)
		[GK+10] Gaspar J. et al., "On Tao's finitary infinite pigeonhole..." (2010)
		[GL+02] Georgescu G. et al., "Some classes of pseudo-BL algebras" (2002)
		[GLP+05] Georgescu G. et al., "Pseudo-hoops" (2005)
		[GK+06] Gerhardy P. et al., "Strongly uniform bounds from..." (2006)
		[GK+05] Gerhardy P. et al., "Extracting Herbrand Disjuntions by..." (2005)
		[GK+05b] Gerhardy P. et al., "General Logical Metatheorems for..." (2005)
		[GK+08] Gerhardy P. et al., "General logical metatheorems for..." (2008)
		[Ger05] Gerhardy P., "The Role of Quantifier Alternations in..." (2005)
		[Ger06] Gerhardy P., "A quantitative version of Kirk's fixed..." (2006)
		[GS+06] Gruenhage G. et al., "Quotients of countably based spaces are..." (2006)
		[GHO+02] Grädel E. et al., "Back and forth between guarded and modal..." (2002)
		[GO+99] Grädel E. et al., "On logics with two variables" (1999)
		[GOR+99] Grädel E. et al., "Undecidability results for two-variable..." (1999)
		[Gre11] Gregoriades V., "The descriptive set-theoretic complexity..." (2011)
		[Gre12] Gregoriades V., "Turning Borel sets into clopen sets..." (2012)
		[Gre14] Gregoriades V., "Choice free Fixed Point Property in..." (2014)
		[Gre14b] Gregoriades V., "Classes of Polish spaces under effective..." (2014)
		[GK+16] Günzel D. et al., "Logical metatheorems for abstract spaces..." (2016)
		[HJK+00] Huth M. et al., "Linear types, approximation, and topology" (2000)
		[HK+11] Hofmann K.H. et al., "A mathematician's view of an Italian ..." (2011)
		[HOS+06] Hofmann M. et al., "Well-foundedness in realizability" (2006)
		[HK+05] Hernest M.D. et al., "A Complexity Analysis of Functional..." (2005)
		[PZ+13] Pauly A. et al., "Relative Computability and Uniform..." (2013)
		[HO+03] Hodkinson I. et al., "Finite conformal hypergraph covers and..." (2003)
		[Kei13] Keimel K., "Sheaf Representations of algebraic..." (2013)
		[EEK+98] Erker T. et al., "The way-below relation of function sp..." (1998)
		[GK+11] Goubault-Larrecq J. et al., "Choquet-Kendall-Matheron theorems for..." (2011)
		[HK+13] Heckmann R. et al., "Quasicontinuous domains and the Smyth..." (2013)
		[Kei06] Keimel K., "Topological cones: Foundations for a..." (2006)
		[Kei08b] Keimel K., "Topological Cones: Functional Analysi..." (2008)
		[Kei08] Keimel K., "The Monad of Probability Measures over..." (2008)
		[KL+09] Keimel K. et al., "$D$-completions and the..." (2009)
		[KL+12] Keimel K. et al., "Extending algebraic operations to..." (2012)
		[KL+09b] Keimel K. et al., "Extending algebraic operations to..." (2009)
		[KP+09] Keimel K. et al., "Predicate transformers for convex..." (2009)
		[KRS+09] Keimel K. et al., "A Minkowksi Type Duality Mediating..." (2009)
		[KRS+11] Keimel K. et al., "Relating Direct and Predicate Transfo..." (2011)
		[Kei04] Keimel K., "The probabilistic powerdomain for the..." (2004)
		[Kei09c] Keimel K., "Bicontinuous domains and some old..." (2009)
		[Kei09] Keimel K., "Abstract ordered compact convex sets and..." (2009)
		[Kei09b] Keimel K., "Abstract ordered compact convex sets and..." (2009)
		[Kei12] Keimel K., "Locally convex cones and the..." (2012)
		[Kei98] Keimel K., "Bi-continuous valuations" (1998)
		[KL+99] Keimel K. et al., "Compact continuous L-domains" (1999)
		[KL+05] Keimel K. et al., "Measure extension theorems for..." (2005)
		[KL+04] Keimel K. et al., "Order environments of topological spaces" (2004)
		[KK+13] Khan M.A.A. et al., "Bounds on Kuhfittig's iteration schem..." (2013)
		[KK+14b] Khan M.A.A. et al., "Quantitative image recovery theorems" (2014)
		[KO+12] Kieronski E. et al., "Small substructures and decidability..." (2012)
		[KK+14] Körnlein D. et al., "Rate of metastability for Bruck's..." (2014)
		[Koh00] Kohlenbach U., "Things that can and things that can't be..." (2000)
		[Koh01b] Kohlenbach U., "A quantitative version of a theorem due..." (2001)
		[Koh01c] Kohlenbach U., "Intuitionistic choice and restricted..." (2001)
		[Koh01] Kohlenbach U., "A note on Spector's quantifier-free rule..." (2001)
		[Koh02d] Kohlenbach U., "On weak Markov's principle" (2002)
		[Koh02] Kohlenbach U., "Applied foundations: proof mining in..." (2002)
		[Koh02c] Kohlenbach U., "On uniform weak König's lemma" (2002)
		[Koh03] Kohlenbach U., "Uniform asymptotic regularity for Mann..." (2003)
		[Koh05d] Kohlenbach U., "Some Logical Metatheorems with..." (2005)
		[Koh05e] Kohlenbach U., "Some computational aspects of metric..." (2005)
		[Koh07] Kohlenbach U., "Proof interpretations and the..." (2007)
		[Koh08d] Kohlenbach U., "Herbrand's theorem and extractive proof..." (2008)
		[Koh11d] Kohlenbach U., "On the asymptotic behavior of odd..." (2011)
		[Koh12] Kohlenbach U., "A uniform quantitative form of sequen..." (2012)
		[Koh12b] Kohlenbach U., "Gödel functional interpretation and..." (2012)
		[Koh11] Kohlenbach U., "A note on the monotone functional..." (2011)
		[Koh11c] Kohlenbach U., "On quantitative versions of theorems due..." (2011)
		[Koh15] Kohlenbach U., "On the disjunctive Markov principle" (2015)
		[Koh16] Kohlenbach U., "On the quantitative asymptotic behavior..." (2016)
		[Koh17] Kohlenbach U., "Recent progress in proof mining in..." (2017)
		[Koh19] Kohlenbach U., "A polynomial rate of asymptotic..." (2019)
		[Koh19b] Kohlenbach U., "On the reverse mathematics and Weihrauch..." (2019)
		[Koh21b] Kohlenbach U., "Quantitative results on the Proximal..." (2021)
		[Koh20b] Kohlenbach U., "Quantitative analysis of a Halpern-type..." (2020)
		[Koh21] Kohlenbach U., "Proof-theoretic uniform boundedness and..." (2021)
		[Koh22] Kohlenbach U., "On the Proximal Point Algorithm and its..." (2022)
		[Koh23] Kohlenbach U., "Kreisel's shift of emphasis and..." (2023)
		[Koh92c] Kohlenbach U., "Remarks on Herbrand normal forms and..." (1992)
		[Koh92b] Kohlenbach U., "Pointwise hereditary majorization and..." (1992)
		[Koh92] Kohlenbach U., "Effective bounds from ineffective proofs..." (1992)
		[Koh93] Kohlenbach U., "Effective moduli from ineffective..." (1993)
		[Koh93b] Kohlenbach U., "New effective moduli of uniqueness and..." (1993)
		[Koh95] Kohlenbach U., "A note on the " (1995)
		[Koh96b] Kohlenbach U., "Mathematically strong subystems of..." (1996)
		[Koh98c] Kohlenbach U., "On the arithmetical content of restri..." (1998)
		[Koh98e] Kohlenbach U., "Relative constructivity" (1998)
		[Koh98d] Kohlenbach U., "Proof theory and computational analysis" (1998)
		[Koh98b] Kohlenbach U., "Elimination of Skolem functions for..." (1998)
		[Koh99b] Kohlenbach U., "On the no-counterexample interpretation" (1999)
		[Koh99] Kohlenbach U., "A note on Goodman's theorem" (1999)
		[KK+09] Kreuzer A.P. et al., "Ramsey's theorem for pairs and provably..." (2009)
		[KK+12] Kreuzer A.P. et al., "Term extraction and Ramsey's theorem for..." (2012)
		[KL+03] Kohlenbach U. et al., "Mann iterates of directionally..." (2003)
		[KL+07] Kohlenbach U. et al., "Approximate fixed points of nonexpansive..." (2007)
		[KL+10] Kohlenbach U. et al., "Asymptotically nonexpansive mappings in..." (2010)
		[KL+09c] Kohlenbach U. et al., "A quantitative Mean Ergodic Theorem for..." (2009)
		[KL+12c] Kohlenbach U. et al., "On the computational content of..." (2012)
		[KL+12b] Kohlenbach U. et al., "Effective metastability for Halpern..." (2012)
		[KL+14] Kohlenbach U. et al., "Addendum to `Effective metastability for..." (2014)
		[KLN+18] Kohlenbach U. et al., "Quantitative results on Fejér..." (2018)
		[KLN+17] Kohlenbach U. et al., "Quantitative asymptotic regularity for..." (2017)
		[KLN+19] Kohlenbach U. et al., "Moduli of regularity and rates of..." (2019)
		[KLN+21] Kohlenbach U. et al., "A uniform betweenness property in metric..." (2021)
		[KN+17] Kohlenbach U. et al., "A proof-theoretic bound extraction..." (2017)
		[KO+03b] Kohlenbach U. et al., "Proof mining in..." (2003)
		[KO+03] Kohlenbach U. et al., "Proof Mining: A Systematic Way of..." (2003)
		[KP+22] Kohlenbach U. et al., "Quantitative translations for viscosity..." (2022)
		[KP+25] Kohlenbach U. et al., "Fejér monotone sequences revisited" (2025)
		[KP+23] Kohlenbach U. et al., "Proof theory and nonsmooth analysis" (2023)
		[KP+20] Kohlenbach U. et al., "Rates of convergence for iterative..." (2020)
		[SK+10] Safarik P. et al., "On the computational content of the..." (2010)
		[KS+14] Kohlenbach U. et al., "Fluctuations, effective learnability and..." (2014)
		[KS+21] Kohlenbach U. et al., "The finitary content of sunny..." (2021)
		[KK+15] Koutsoukou-Argyraki A. et al., "Rates of convergence and metastability..." (2015)
		[KK+16] Koutsoukou-Argyraki A. et al., "Effective asymptotic regularity for..." (2016)
		[Koh06] Kohlenbach U., "A logical uniform boundedness principle..." (2006)
		[Kre11] Kreuzer A.P., "The cohesive principle and the..." (2011)
		[Kre12d] Kreuzer A.P., "Primitive recursion and the chain..." (2012)
		[Kre12b] Kreuzer A.P., "Non-principal ultrafilters, program..." (2012)
		[Kre12] Kreuzer A.P., "A logical analysis of the generalized..." (2012)
		[Kre12c] Kreuzer A.P., "On the strength of weak compactness." (2012)
		[Leu00] Leuştean L., "Some algebraic properties of..." (2000)
		[Leu01] Leuştean L., "Liquid flow time series prediction using..." (2001)
		[Leu02] Leuştean L., "Canonical models and filtrations in..." (2002)
		[Leu02b] Leuştean L., "Liquid flow time series prediction using..." (2002)
		[Leu03] Leuştean L., "The prime and maximal spectra and the..." (2003)
		[Leu05] Leuştean L., "Sheaf representations of BL-algebras" (2005)
		[Leu06b] Leuştean L., "Proof mining in $R$-trees and..." (2006)
		[Leu06] Leuştean L., "Baer extensions of BL-algebras" (2006)
		[Leu07] Leuştean L., "A quadratic rate of asymptotic regula..." (2007)
		[Leu07b] Leuştean L., "Rates of asymptotic regularity for..." (2007)
		[LP+21] Leuştean L. et al., "Quantitative results on a Halpern-type..." (2021)
		[LP+24] Leuştean L. et al., "Rates of asymptotic regularity for the..." (2024)
		[LS+18b] Leuştean L. et al., "Effective strong convergence of the..." (2018)
		[LNS+18] Leuştean L. et al., "An abstract proximal point algorithm" (2018)
		[LS+02] Lietz P. et al., "Impredicativity entails untypedness" (2002)
		[LS+12] Lietz P. et al., "Realizability models refuting Ishihara's..." (2012)
		[MS+15] Maschio S. et al., "Models of intuitionistic set theory in..." (2015)
		[HS+02] Hofmann M. et al., "Completeness of continuation models for..." (2002)
		[NPS+18] Neumann E. et al., "Computability in Basic Quantum Mechanics." (2018)
		[NOT+01] Neven F. et al., "Adding FOR-loops to first-order logic" (2001)
		[KOR+14] Kawamura A. et al., "Computational Complexity of Smooth..." (2014)
		[OS+08] Oliva P. et al., "On Krivine's realizability interpreta..." (2008)
		[Ott87] Otto M., "A reduction scheme for phase spaces with..." (1987)
		[Ott92b] Otto M., "EM functors for a class of generalized..." (1992)
		[Ott92] Otto M., "Automorphism properties of stationary..." (1992)
		[Ott95] Otto M., "Note on the number of monadic quantif..." (1995)
		[Ott96] Otto M., "The expressive power of fixed-point l..." (1996)
		[Ott97b] Otto M., "Canonization for two variables and..." (1997)
		[Ott97d] Otto M., "The logic of explicitly..." (1997)
		[Ott99] Otto M., "Bisimulation-invariant Ptime and..." (1999)
		[Ott99b] Otto M., "Bounded-variable logics: two, three, and..." (1999)
		[Ott00b] Otto M., "Epsilon-logic is more expressive than..." (2000)
		[Ott00] Otto M., "An interpolation theorem" (2000)
		[Ott01] Otto M., "Two-variable first-order logic over..." (2001)
		[Ott04b] Otto M., "Modal and guarded characterisation..." (2004)
		[Ott12] Otto M., "Highly acyclic groups, hypergraph covers..." (2012)
		[Ott13b] Otto M., "Expressive completeness through logic..." (2013)
		[OV+96] Otto M. et al., "First-order queries on databases embe..." (1996)
		[Pin21] Pinto P., "A rate of metastability for the Halpern..." (2021)
		[Pin24] Pinto P., "Nonexpansive maps in nonlinear smooth..." (2024)
		[Pin25] Pinto P., "On the finitary content of Dykstra's..." (2025)
		[PP+23] Pinto P. et al., "On computational properties of Cauchy..." (2023)
		[PK+22] Pischke N. et al., "Quantitative analysis of a..." (2022)
		[PK+24] Pischke N. et al., "Effective rates for iterations involving..." (2024)
		[Pis23b] Pischke N., "On Intermediate Justification Logics" (2023)
		[Pis23] Pischke N., "On Infinitary Gödel Logics" (2023)
		[Pis23d] Pischke N., "Quantitative Results on Algorithms for..." (2023)
		[Pis23c] Pischke N., "On Korpelevich's Extragradient Algorithm" (2023)
		[Pis24] Pischke N., "Logical Metatheorems for Accretive and..." (2024)
		[Pis24c] Pischke N., "Rates of convergence for the asymptotic..." (2024)
		[Pis24b] Pischke N., "Proof mining for the dual of a Banach..." (2024)
		[Pis25c] Pischke N., "Generalized Fejér monotone..." (2025)
		[Pis25b] Pischke N., "Duality, Fréchet differentiabi..." (2025)
		[Pis25] Pischke N., "A Proof-Theoretic Metatheorem for..." (2025)
		[PL+00] Pribeanu C. et al., "Consistence evaluation of a man-machine..." (2000)
		[RS+04] Reus B. et al., "Semantics and logic of object calculi" (2004)
		[RS+98] Reus B. et al., "Classical logic, continuation semantics..." (1998)
		[RS+99] Reus B. et al., "General synthetic domain theory---a..." (1999)
		[RS+12] Reus B. et al., "A synthetic theory of sequential domains." (2012)
		[Saf12] Safarik P., "A quantitative nonlinear strong ergodic..." (2012)
		[SK+12] Schade K. et al., "Effective metastability for modified..." (2012)
		[SS+12] Simpson A. et al., "Constructive toposes with countable sums..." (2012)
		[Sip18] Sipoş A., "Codensity and Stone spaces" (2018)
		[Str92] Streicher T., "Dependence and independence results for..." (1992)
		[Str92b] Streicher T., "Independence of the induction principle..." (1992)
		[Str94] Streicher T., "A universality theorem for PCF with..." (1994)
		[Str99] Streicher T., "Denotational completness revisited" (1999)
		[Str99b] Streicher T., "Inductive construction of repletion" (1999)
		[SK+07] Streicher T. et al., "Shoenfield is Goedel after Krivine" (2007)
		[Str09] Streicher T., "Forcing for IZF in Sheaf Toposes" (2009)
		[Str13] Streicher T., "Krivine's Classical Realizability from a..." (2013)
		[Str17] Streicher T., "A classical realizability model arising..." (2017)
		[TK+25] Treusch J. et al., "Rates of convergence for splitting..." (2025)
		[Wil04] Wille A.M., "The variety of lattice-ordered monoids..." (2004)
		[Wil05] Wille A.M., "A Gentzen system for involutive..." (2005)
		[AJK+04] Alvarez Manilla M. et al., "Valuations and measures on stably com..." (2004)
		[TKP+09] Tix R. et al., "Semantic Domains for Combining..." (2009)

Books

		[GHK+03] Gierz G. et al., "Continuous Lattices and Domains" (2003)
		[KR+92] Keimel K. et al., "Ordered Cones and Approximation" (1992)
		[Koh08] Kohlenbach U., "Applied Proof Theory: Proof..." (2008)
		[Ott97] Otto M., "Bounded variable logics and counting ..." (1997)
		[Str06] Streicher T., "Domain-theoretic Foundations of..." (2006)
		[Str91] Streicher T., "Semantics of Type Theory" (1991)

In a collection

		[BB+02b] Berwanger D. et al., "The Monadic Theory of Tree-like..." (2002)
		[BB+02] Berwanger D. et al., "Automata for Guarded Fixed Point Logics" (2002)
		[BCL+07] Blumensath A. et al., "Logical theories and compatible..." (2007)
		[Bur04b] Burmeister P., "Galois Connections for Partial Algebras" (2004)
		[Bur04] Burmeister P., "Algebraic Theory of Quasivarieties of..." (2004)
		[GO+14] Grädel E. et al., "The freedoms of (guarded) bisimulation" (2014)
		[HS+98] Hofmann M. et al., "The groupoid interpretation of type..." (1998)
		[Koh02b] Kohlenbach U., "Foundational and mathematical uses of..." (2002)
		[Koh05] Kohlenbach U., "Higher order reverse mathematics" (2005)
		[Koh08e] Kohlenbach U., "Interview on the Philosophy of..." (2008)
		[Koh08c] Kohlenbach U., "Goedel's functional interpretation and..." (2008)
		[Koh08b] Kohlenbach U., "Effective bounds from proofs in abstract..." (2008)
		[LS+18] Leuştean L. et al., "An application of proof mining to the..." (2018)
		[Ott06] Otto M., "Bisimulation invariance and finite models" (2006)
		[GO+06] Goranko V. et al., "Model Theory of Modal Logic" (2006)
		[Ott11] Otto M., "Model theoretic methods for fragments of..." (2011)
		[Ott13] Otto M., "Bisimulation and coverings for graphs..." (2013)
		[Str05] Streicher T., "Universes in Toposes" (2005)

In proceedings

		[AHS+95] Altenkirch T. et al., "Categorical reconstruction of a reduc..." (1995)
		[AHS+96] Altenkirch T. et al., "Reduction-free normalisation for a..." (1996)
		[BL+00] Barbălată C. et al., "Applications of feed-forward neural..." (2000)
		[BGO+10] Barany V. et al., "Querying the guarded fragment" (2010)
		[BCO+12] Barany V. et al., "Queries with guarded negation" (2012)
		[Blu00] Blumensath A., "Bounded Arithmetic and Descriptive..." (2000)
		[Blu03] Blumensath A., "Axiomatising Tree-Interpretable..." (2003)
		[BG+00] Blumensath A. et al., "Automatic Structures" (2000)
		[BG+02] Blumensath A. et al., "Finite Presentations of Infinite..." (2002)
		[BOW+09] Blumensath A. et al., "Boundedness of monadic second-order..." (2009)
		[BS+87] Broy M. et al., "Views of distributed systems." (1987)
		[BS+92] Broy M. et al., "Modular functional modelling of Petri..." (1992)
		[CEK+06] Cohen B. et al., "The extended probabilistic power domain..." (2006)
		[CO+17] Canavoi F. et al., "Common knowledge and multi-scale loca..." (2017)
		[ABZ+13] Ambos-Spies K. et al., "Real Benefit of Promises and Advice" (2013)
		[CO+17b] Ciardelli I. et al., "Bisimulation in inquisitive modal logic" (2017)
		[HSZ+13] Herrmann C. et al., "Satisfiability of cross product terms is..." (2013)
		[DO+05] Dawar A. et al., "Modal characterisation theorems over..." (2005)
		[EEH+14] Eickmeyer K. et al., "Expressivity and Succinctness of..." (2014)
		[EK+17] Eickmeyer K. et al., "FO Model Checking on Map Graphs" (2017)
		[Ger03b] Gerhardy P., "Refined Complexity Analysis of Cut..." (2003)
		[GHO+00] Grädel E. et al., "Back and forth between guarded and modal..." (2000)
		[GO+12] Grohe M. et al., "Pebble games and linear equations" (2012)
		[HMO+99] Hoogland E. et al., "Beth definability for the guarded..." (1999)
		[MZ+14] Müller N. et al., "From Calculus to Algorithms without..." (2014)
		[JMS+91] Jacobs B. et al., "Relating models of impredicative type..." (1991)
		[Kar09] Kartzow A., "FO Model Checking on Nested Pushdown..." (2009)
		[Kei12b] Keimel K., "On the equivalence of state transformer..." (2012)
		[Kei95] Keimel K., "Some trends in lattice-ordered groups..." (1995)
		[KO+05] Kieronski E. et al., "Small substructures and decidability..." (2005)
		[Koh01d] Kohlenbach U., "On the computational content of the..." (2001)
		[Koh05c] Kohlenbach U., "Proof mining in functional analysis..." (2005)
		[Koh10] Kohlenbach U., "On the logical analysis of proofs based..." (2010)
		[Koh19c] Kohlenbach U., "Proof-theoretic methods in nonlinear..." (2019)
		[Koh20] Kohlenbach U., "Local formalizations in nonlinear..." (2020)
		[Koh96] Kohlenbach U., "Analysing proofs in analysis" (1996)
		[Koh98] Kohlenbach U., "Arithmetizing proofs in analysis" (1998)
		[Koh99c] Kohlenbach U., "The use of a logical principle of uni..." (1999)
		[ABH+04] Akama Y. et al., "An arithmetical hierarchy of the law of..." (2004)
		[KL+04b] Kohlenbach U. et al., "Bounds on iterations of asymptotically..." (2004)
		[KL+06] Kohlenbach U. et al., "Approximate fixed points of nonexpansive..." (2006)
		[Koh11b] Kohlenbach U., "Gödel's functional interpretation..." (2011)
		[KO+98] Kolaitis P. et al., "On the boundedness problem for..." (1998)
		[KOS+07] Kreutzer S. et al., "Boundedness of monadic FO over acyclic..." (2007)
		[LS+06] Löw T. et al., "Universality Results for Models in..." (2006)
		[RPW+03] Roşu G. et al., "Certifying optimality of state estima..." (2003)
		[MRS+99] Marz M. et al., "Full abstraction and universality via..." (1999)
		[MSL+94] Mück A. et al., "A tiny constraint functional logic..." (1994)
		[NOT+99] Neven F. et al., "Adding FOR-loops to first-order logic" (1999)
		[KOR+12] Kawamura A. et al., "Computational Complexity of Smooth..." (2012)
		[Ott94] Otto M., "Generalized quantifiers for simple..." (1994)
		[Ott95b] Otto M., "Ptime canonization for two variables ..." (1995)
		[Ott97c] Otto M., "Capturing bisimulation-invariant Ptime" (1997)
		[Ott99c] Otto M., "Eliminating recursion in the mu-calculus" (1999)
		[Ott02] Otto M., "Modal and guarded characterisation..." (2002)
		[Ott06b] Otto M., "The boundedness problem for monadic..." (2006)
		[Ott10] Otto M., "Highly acyclic groups, hypergraph covers..." (2010)
		[Ott13c] Otto M., "Groupoids, hypergraphs, and symmetrie..." (2013)
		[OP+08] Otto M. et al., "A Lindstrom characterisation of the..." (2008)
		[KSZ+14] Kawamura A. et al., "Complexity of Laplace's and Poisson's..." (2014)
		[HZ+11] Herrmann C. et al., "Computational Complexity of Quantum..." (2011)
		[RS+05] Reus B. et al., "About Hoare logics for higher-order store" (2005)
		[RS+97] Reus B. et al., "General synthetic domain theory---a..." (1997)
		[RS+11] Reus B. et al., "Relative completeness for logics of..." (2011)
		[Str89] Streicher T., "Independence results for calculi of..." (1989)
		[EKK+13] Eickmeyer K. et al., "Model Checking for Successor-Invariant..." (2013)
		[EK+16] Eickmeyer K. et al., "Successor-Invariant First-Order Logic on..." (2016)
		[Kar10] Kartzow A., "Collapsible Pushdown Graphs of Level 2..." (2010)

'Miscellaneous documents'

		[BL+04] Barbălată C. et al., "Average monthly liquid flow forecasting..." (2004)
		[Ger03] Gerhardy P., "Improved Complexity Analysis of Cut..." (2003)
		[Koh05b] Kohlenbach U., "Proof Interpretations and the..." (2005)
		[KL+05b] Kohlenbach U. et al., "Approximate fixed point property in..." (2005)
		[Leu04] Leuştean L., "Representations of many-valued algebras" (2004)

PhD thesis

		[Blu03b] Blumensath A., "Structures of Bounded Partition Width" (2003)
		[Blu08b] Blumensath A., "Simple Monadic Theories" (2008)
		[Blu99] Blumensath A., "Automatic Structures" (1999)

Technical reports

		[Blu01] Blumensath A., "Prefix-Recognisable Graphs and Monadic..." (2001)
		[LR+03] Leuştean L. et al., "Certifying Kalman Filters" (2003)
		[Ott04] Otto M., "Elementary proof of the van Benthem-R..." (2004)
		[Ott09] Otto M., "Avoiding incidental homomorphisms into..." (2009)
		[Pin23] Pinto P., "On quantitative versions of Xu's Lemma" (2023)

Unpublished

		[BCO+12b] Barany V. et al., "Queries with guarded negation" (2012)
		[CO+18] Ciardelli I. et al., "Inquisitive bisimulation" (2018)
		[FP+24] Firmino P. et al., "The alternating Halpern-Mann iteration..." (2024)
		[GO+15] Grohe M. et al., "Pebble games and linear equations" (2015)
		[Ott12b] Otto M., "On groupoids and hypergraphs" (2012)
		[Ott15] Otto M., "Finite groupoids, finite coverings and..." (2015)
		[Ott17] Otto M., "Amalgamation and symmetry: from local to..." (2017)
		[Ott18] Otto M., "Acyclicity in finite groups and groupoids" (2018)
		[Pin24b] Pinto P., "Proof mining and the convex feasibility..." (2024)
		[PP+24b] Pinto P. et al., "On the Halpern method with adaptive..." (2024)
		[PP+24] Pinto P. et al., "On Dykstra's algorithm with Bregman..." (2024)
		[PS+24] Pinto P. et al., "Product of hyperbolic spaces" (2024)

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)