Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

-&-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
Games
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.
Gazette
in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) 
General
Generalized
Generated
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.
Georgian
in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009) 
Gerhardy P.
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
Goedel
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.
Goubault-Larrecq J.
in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) 
Grädel E.
Graphs
Gregoriades V.
Grigori
in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 
Grohe M.
Groupoid
in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) 
Groupoids
Groups
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
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
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

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

Valid HTML 4.01!Valid CSS!