-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
G
- Gaifman
- in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
- Galois
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- Games
- 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)
- Ganzinger H.
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
- Gärtner T.
- in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011)
- Gaspar J.
- 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)
- Gazette
- in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008)
- General
- 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: Körnlein D. and Kohlenbach U.
"Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces" (2011)
- 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)
- Generalized
- in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008)
- 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)
- Generated
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
- in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
- Gentzen
- in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)
- Geodesic
- in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
- Geometry
- in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- Georgescu G.
- 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)
- Georgian
- in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009)
- Gerhardy P.
- 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)
- Germany
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- Gierz G.
- in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003)
- Global
- in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- Gödel
- 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)
- Goedel
- 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)
- Goldblatt R.
- in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- Goodman
- in: Kohlenbach U.
"A note on Goodman's theorem" (1999)
- Goranko V.
- in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006)
- Gottlob G.
- 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)
- Goubault-Larrecq J.
- in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011)
- Grädel E.
- 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)
- Graphs
- 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: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
- in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013)
- Gregoriades V.
- 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)
- Grigori
- in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
- Grohe M.
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012)
- Groupoid
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998)
- Groupoids
- 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)
- Groups
- in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995)
- 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)
- Growth
- in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
- Gruenhage G.
- in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006)
- Guarded
- 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)
- Günzel D.
- in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
Submit a bug
This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)