Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ

H

Halpern
Handbook
in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) 
Hayashi S.
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Heckmann R.
in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) 
Heldermann
in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) 
Henricks V.
in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008) 
Herbrand
Hereditary
in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) 
Hernest M.D.
in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) 
Herrmann C.
Hertling P.
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
Heterogeneous
in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) 
Hierarchy
Higher
Higher-dimensional
in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999) 
Higher-order
in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005) 
Highly
Hilbert
Hirsch C.
Historical
in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) 
History
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
Hoare
in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005) 
Hodges W.
in: Kohlenbach U.
"Analysing proofs in analysis" (1996) 
Hodkinson I.
in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) 
Hofmann M.
Hofmann K.H.
Hofmann M.
Homomorphisms
in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) 
Honor
Hoogland E.
in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 
Horizons
Hunt Jr. W.A.
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Huth M.
in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) 
Hyland M.
in: Kohlenbach U.
"Analysing proofs in analysis" (1996) 
Hyperbolic
Hypergraph
Hypergraphs

-&-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!