H

Halpern

• in: Horatiu Cheval U.K. and Leuştean L.
  "On modified Halpern and Tikhonov-Mann iterations" (2023)
• in: Kohlenbach U. and Leuştean L.
  "Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
• in: Kohlenbach U. and Leuştean L.
  "Effective metastability for Halpern iterates in CAT(0) space." (2012)
• in: Leuştean L.
  "Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007)
• in: Pinto P. and Pischke N.
  "On the Halpern method with adaptive anchoring parameters" (2024)
• in: Pinto P.
  "A rate of metastability for the Halpern type Proximal Point Algorithm" (2021)
• in: Schade K. and Kohlenbach U.
  "Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)

Halpern-Mann

• in: Dinis B. and Pinto P.
  "Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023)
• in: Firmino P. and Pinto P.
  "The alternating Halpern-Mann iteration for families of maps" (2024)
• in: Leuştean L. and Pinto P.
  "Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024)

Halpern-type

• in: Kohlenbach U.
  "On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022)
• in: Kohlenbach U.
  "Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020)
• in: Leuştean L. and Pinto P.
  "Quantitative results on a Halpern-type proximal point algorithm" (2021)

Handbook

in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) 

Harwath F.

• in: Eickmeyer K., Elberfeld M. and Harwath F.
  "Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017)
• in: Eickmeyer K., Elberfeld M. and Harwath F.
  "Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)

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) 

Heidelberg

in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) 

Heine-Borel

in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) 

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

• in: Despres L.M. and Kohlenbach U.
  "Herbrand analyses in geometry: a case study" (2025)
• in: Gerhardy P. and Kohlenbach U.
  "Extracting Herbrand Disjuntions by Functional Interpretation" (2005)
• in: Gerhardy P.
  "Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
• in: Kohlenbach U.
  "Herbrand's theorem and extractive proof theory" (2008)
• in: Kohlenbach U.
  "Remarks on Herbrand normal forms and Herbrand Realizations" (1992)
• in: Kohlenbach U.
  "Remarks on Herbrand normal forms and Herbrand Realizations" (1992)

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.

• in: Herrmann C., Sokoli J. and Ziegler M.
  "Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
• in: Herrmann C. and Ziegler M.
  "Computational Complexity of Quantum Satisfiability" (2011)

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

• in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
  "An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
• in: Blumensath A.
  "On the structure of graphs in the Caucal hierarchy" (2008)

Higher

• in: Kohlenbach U.
  "Higher order reverse mathematics" (2005)
• in: Kohlenbach U.
  "Foundational and mathematical uses of higher types" (2002)
• in: Kreuzer A.P.
  "Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012)

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

• 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)

Hilbert

• in: Körnlein D. and Kohlenbach U.
  "Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
• in: Kohlenbach U.
  "On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022)
• in: Kohlenbach U.
  "A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019)
• in: Kohlenbach U.
  "On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
• in: Pischke N.
  "Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
• in: Safarik P.
  "A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)

Hirsch C.

• 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)

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.

• in: Altenkirch T., Hofmann M. and Streicher T.
  "Reduction-free normalisation for a polymorphic system" (1996)
• in: Altenkirch T., Hofmann M. and Streicher T.
  "Categorical reconstruction of a reduction free normalization proof." (1995)
• in: Escardó M., Hofmann M. and Streicher T.
  "On the non-sequential nature of the interval-domain model of real-number computation" (2004)

Hofmann K.H.

• in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
  "Continuous Lattices and Domains" (2003)
• in: Hofmann K.H. and Keimel K.
  "A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)

Hofmann M.

• in: Hofmann M., Oosten (van) J. and Streicher T.
  "Well-foundedness in realizability" (2006)
• in: Hofmann M. and Streicher T.
  "Completeness of continuation models for $\lambda \mu$-calculus" (2002)
• in: Hofmann M. and Streicher T.
  "The groupoid interpretation of type theory" (1998)

Homomorphisms

in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) 

Hong S.H.

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) 

Honor

• in: Kohlenbach U.
  "On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
• in: Kohlenbach U.
  "Foundational and mathematical uses of higher types" (2002)

Hoogland E.

in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 

Horatiu Cheval U.K.

in: Horatiu Cheval U.K. and Leuştean L.
"On modified Halpern and Tikhonov-Mann iterations" (2023) 

Horizons

• in: Kohlenbach U.
  "Gödel's functional interpretation and its use in current mathematics" (2011)
• in: Kohlenbach U.
  "Goedel's functional interpretation and its use in current mathematics" (2008)

How

in: Freund A.
"How strong are single fixed points of normal functions?" (2020) 

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

• in: Khan M.A.A. and Kohlenbach U.
  "Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
• in: Kohlenbach U. and Pinto P.
  "Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)
• in: Kohlenbach U. and Leuştean L.
  " Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010)
• in: Kohlenbach U.
  "A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
• in: Kohlenbach U. and Leuştean L.
  "Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
• in: Leuştean L.
  "Proof mining in $R$-trees and hyperbolic spaces " (2006)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)
• in: Pinto P. and Sipoş A.
  "Product of hyperbolic spaces" (2024)
• in: Pischke N.
  "Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025)

Hypergraph

• in: Blumensath A. and Courcelle B.
  "Recognizability, Hypergraph Operations, and Logical Types" (2006)
• in: Hodkinson I. and Otto M.
  "Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
• 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)

Hypergraphs

• in: Otto M.
  "Bisimulation and coverings for graphs and hypergraphs" (2013)
• in: Otto M.
  "Groupoids, hypergraphs, and symmetries in finite models" (2013)
• in: Otto M.
  "On groupoids and hypergraphs" (2012)

Submit a bug

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