"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021)
- 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: Grohe M. and Otto M.
"Pebble games and linear equations" (2015) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012)
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
"From Kruskal's theorem to Friedman's gap condition" (2020)
"Gap-planar graphs" (2018)
"Real Analytic Machines and Degrees" (2011)
- in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) - in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010)
"Herbrand's theorem and extractive proof theory" (2008)
- 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: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - 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: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) - in: Kohlenbach U.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Otto M.
"Generalized quantifiers for simple properties" (1994) - in: Otto M.
"EM functors for a class of generalized quantifiers" (1992) - in: Pischke N.
"Generalized Fejér monotone sequences and their finitary content" (2025) - in: Pischke N.
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) - in: Pinto P. and Pischke N.
"On computational properties of Cauchy problems generated by accretive operators" (2023) - in: Pischke N.
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025) - in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
"A Gentzen system for involutive residuated lattices" (2005)
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
- in: Despres L.M. and Kohlenbach U.
"Herbrand analyses in geometry: a case study" (2025) - in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- 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)
"Forcing for IZF in Sheaf Toposes" (2009)
- in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - 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. and Kohlenbach U.
"General Logical Metatheorems for Functional Analysis" (2005) - in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
"Continuous Lattices and Domains" (2003)
- in: Leuştean L., Nicolae A. and Sipoş A.
"An abstract proximal point algorithm" (2018) - in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
"Ackermann and Goodstein go functorial" (2021)
- in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012) - in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Pischke N.
"On Infinitary Gödel Logics" (2023)
- in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) - in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) - in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007)
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
"A note on Goodman's theorem" (1999)
"Ackermann and Goodstein go functorial" (2021)
"Model Theory of Modal Logic" (2006)
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010)
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011)
- 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. 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.
"Automatic Structures" (2000) - 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. 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)
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013)
- 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.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001) - in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013)
- in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) - in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
"Gap-planar graphs" (2018)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012)
"The groupoid interpretation of type theory" (1998)
- in: Otto M.
"Acyclicity in finite groups and groupoids" (2018) - in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"On groupoids and hypergraphs" (2012)
- in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Otto M.
"Acyclicity in finite groups and groupoids" (2018) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
"Quotients of countably based spaces are not closed under sobrification." (2006)
- 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: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - 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: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) - 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.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002)
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
