Q

Qu

in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on $C[-1,1]$ are continuous." (2002) 

Quadratic

in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007) 

Quaestiones

in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) 

Quantifier

in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) 

Quantifier-free

in: Kohlenbach U.
"A note on Spector's quantifier-free rule of extensionality" (2001) 

Quantifiers

• in: Otto M.
  "Note on the number of monadic quantifiers in monadic $\Sigma 1$₁" (1995)
• in: Otto M.
  "Generalized quantifiers for simple properties" (1994)
• in: Otto M.
  "EM functors for a class of generalized quantifiers" (1992)

Quantitative

• in: Dinis B. and Pinto P.
  "Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021)
• in: Gerhardy P.
  "A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
• in: Khan M.A.A. and Kohlenbach U.
  "Quantitative image recovery theorems" (2014)
• in: Kohlenbach U. and Pinto P.
  "Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021)
• in: Kohlenbach U.
  "Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021)
• in: Kohlenbach U.
  "Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020)
• in: Kohlenbach U., Leuştean L. and Nicolae A.
  "Quantitative results on Fejér monotone sequences " (2018)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "Quantitative asymptotic regularity for the composition of two mappings" (2017)
• in: Kohlenbach U.
  "On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
• in: Kohlenbach U.
  "A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
• in: Kohlenbach U.
  "On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
• in: Kohlenbach U. and Leuştean L.
  "A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009)
• in: Kohlenbach U.
  "A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
• in: Leuştean L. and Pinto P.
  "Quantitative results on a Halpern-type proximal point algorithm" (2021)
• in: Pinto P.
  "On quantitative versions of Xu's Lemma" (2023)
• in: Pischke N.
  "Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
• in: Pischke N. and Kohlenbach U.
  "Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)
• in: Safarik P.
  "A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)

Quantum

• in: Herrmann C. and Ziegler M.
  "Computational Complexity of Quantum Satisfiability" (2011)
• in: Neumann E., Pape M. and Streicher T.
  "Computability in Basic Quantum Mechanics." (2018)

Quart

in: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraß principle." (2011) 

Quarterly

• in: Freund A.
  "A note on ordinal exponentiation and derivatives of normal functions" (2020)
• in: Freund A.
  "What is effective transfinite recursion in reverse mathematics?" (2020)
• in: Fujiwara M. and Kohlenbach U.
  "Classical provability of uniform versions and intuitionistic provability" (2015)
• in: Kohlenbach U.
  "A note on the monotone functional interpretation" (2011)
• in: Safarik P. and Kohlenbach U.
  "On the computational content of the Bolzano-Weierstrass principle" (2010)
• in: Streicher T. and Kohlenbach U.
  "Shoenfield is Goedel after Krivine" (2007)

Quasicontinuous

in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) 

Quasi-non-expansive

in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) 

Quasivarieties

• in: Burmeister P.
  "Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
• in: Burmeister P.
  "Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)

Quaterly

• in: Kohlenbach U.
  "On weak Markov's principle" (2002)
• in: Kohlenbach U.
  "Intuitionistic choice and restricted classical logic" (2001)

Queries

• 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: Otto M. and Van Den Bussche J.
  "First-order queries on databases embedded in an infinite structure" (1996)

Questions

in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008) 

Quotients

in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) 

Submit a bug

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