N

Necessary

in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) 

Negation

• 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: Fujiwara M. and Kohlenbach U.
  "Interrelation between weak fragments of double negation shift and related principles" (2018)

Negative

in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) 

Nested

• in: Kartzow A.
  "FO Model Checking on Nested Pushdown Trees" (2009)
• in: Maschio S. and Streicher T.
  "Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)

Nets

• in: Broy M. and Streicher T.
  "Modular functional modelling of Petri nets with individual tokens. " (1992)
• in: Broy M. and Streicher T.
  "Modular functional modelling of Petri nets with individual tokens. " (1992)

Networks

• in: Barbălată C. and Leuştean L.
  "Average monthly liquid flow forecasting using neural networks" (2004)
• in: Barbălată C. and Leuştean L.
  "Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
• in: Leuştean L.
  "Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
• in: Leuştean L.
  "Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)

Neumann E.

in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018) 

Neural

• in: Barbălată C. and Leuştean L.
  "Average monthly liquid flow forecasting using neural networks" (2004)
• in: Barbălată C. and Leuştean L.
  "Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
• in: Leuştean L.
  "Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
• in: Leuştean L.
  "Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)

Neven F.

• in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
  "Adding FOR-loops to first-order logic" (2001)
• in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
  "Adding FOR-loops to first-order logic" (1999)

New

• in: Briseid E.M.
  "A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
• in: Kohlenbach U.
  "Effective bounds from proofs in abstract functional analysis" (2008)
• in: Kohlenbach U.
  "New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)

Newsletter

in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) 

Nicolae A.

• 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., López-Acedo G. and Nicolae A.
  "Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019)
• in: Kohlenbach U., Leuştean L. and Nicolae A.
  "Quantitative results on Fejér monotone sequences " (2018)
• in: Kohlenbach U. and Nicolae A.
  "A proof-theoretic bound extraction theorem for CAT$(\kappa )$-spaces" (2017)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "Quantitative asymptotic regularity for the composition of two mappings" (2017)
• in: Leuştean L., Nicolae A. and Sipoş A.
  "An abstract proximal point algorithm" (2018)

No-counterexample

in: Kohlenbach U.
"On the no-counterexample interpretation" (1999) 

Non-commutative

in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000) 

Nondeterminism

in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) 

Non-determinism

in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009) 

Nondeterministic

• 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: Keimel K., Rosenbusch A.P. and Streicher T.
  "A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009)

Nonexpansive

• in: Kohlenbach U. and Sipoş A.
  "The finitary content of sunny nonexpansive retractions" (2021)
• in: Kohlenbach U.
  "On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
• in: Kohlenbach U. and Leuştean L.
  " Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2007)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2006)
• in: Kohlenbach U. and Leuştean L.
  "Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
• in: Koutsoukou-Argyraki A. and Kohlenbach U.
  "Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016)
• in: Leuştean L.
  "Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)
• in: Pischke N. and Kohlenbach U.
  "Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024)

Non-Hausdorff

in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) 

Nonlinear

• in: Briseid E.M.
  "A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
• in: Briseid E.M.
  "Fixed Points of Generalized Contractive Mappings" (2008)
• in: Freund A. and Kohlenbach U.
  "Bounds for a nonlinear ergodic theorem for Banach spaces" (2023)
• in: Khan M.A.A. and Kohlenbach U.
  "Quantitative image recovery theorems" (2014)
• in: Kohlenbach U.
  "Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
• in: Kohlenbach U.
  "Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020)
• in: Kohlenbach U.
  "Proof-theoretic methods in nonlinear analysis" (2019)
• in: Kohlenbach U.
  "Recent progress in proof mining in nonlinear analysis" (2017)
• in: Kohlenbach U.
  "A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2007)
• in: Kohlenbach U.
  "Some computational aspects of metric fixed point theory" (2005)
• in: Leuştean L. and Sipoş A.
  "Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)
• in: Pischke N.
  "A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025)
• in: Safarik P.
  "A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)

Non-principal

in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012) 

Nonseparable

in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 

Non-sequential

in: Escardó M., Hofmann M. and Streicher T.
"On the non-sequential nature of the interval-domain model of real-number computation" (2004) 

Nonsmooth

in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) 

Nonstandard

in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) 

Normal

• in: Freund A. and Rathjen M.
  "Derivatives of normal functions in reverse mathematics" (2021)
• in: Freund A.
  "A note on ordinal exponentiation and derivatives of normal functions" (2020)
• in: Freund A.
  "How strong are single fixed points of normal functions?" (2020)
• in: Kohlenbach U.
  "Remarks on Herbrand normal forms and Herbrand Realizations" (1992)

Normalisation

in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) 

Normalization

in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995) 

Not

• in: Escardó M. and Streicher T.
  "In domain realizability, not all functionals on $C[-1,1]$ are continuous." (2002)
• in: Gaspar J.
  "Negative translations not intuitionistically equivalent to the usual ones" (2013)
• in: Gruenhage G. and Streicher T.
  "Quotients of countably based spaces are not closed under sobrification." (2006)

Note

• in: Freund A.
  "A note on ordinal exponentiation and derivatives of normal functions" (2020)
• in: Freund A.
  "A Note on Iterated Consistency and Infinite Proofs" (2019)
• in: Kohlenbach U.
  "A note on the monotone functional interpretation" (2011)
• in: Kohlenbach U.
  "A note on Spector's quantifier-free rule of extensionality" (2001)
• in: Kohlenbach U.
  "A note on Goodman's theorem" (1999)
• in: Kohlenbach U.
  "A note on the $\Pi$₂-induction rule" (1995)
• in: Otto M.
  "Note on the number of monadic quantifiers in monadic $\Sigma 1$₁" (1995)

Notes

• in: Heckmann R. and Keimel K.
  "Quasicontinuous domains and the Smyth powerdomain" (2013)
• in: Keimel K.
  "Bicontinuous domains and some old problems in domain theory" (2009)
• in: Keimel K. and Lawson J.D.
  "Extending algebraic operations to D-completions" (2009)
• in: Keimel K.
  "Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006)
• in: Keimel K.
  "The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
• in: Keimel K.
  "Bi-continuous valuations" (1998)
• in: Kohlenbach U.
  "A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
• in: Kohlenbach U.
  "On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
• in: Kohlenbach U.
  "Proof theory and computational analysis" (1998)
• in: Leuştean L.
  "Proof mining in $R$-trees and hyperbolic spaces " (2006)
• in: Otto M.
  "Bounded variable logics and counting -- A study in finite models" (1997)
• in: Tix R., Keimel K. and Plotkin G.D.
  "Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)

Notre

• in: Freund A. and Pakhomov F.
  "Short Proofs for Slow Consistency" (2020)
• in: Gerhardy P.
  "The Role of Quantifier Alternations in Cut Elimination" (2005)
• in: Kreuzer A.P.
  "Primitive recursion and the chain antichain principle." (2012)
• in: Kreuzer A.P. and Kohlenbach U.
  "Ramsey's theorem for pairs and provably recursive functions" (2009)

Novosibirsk

in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 

Number

in: Otto M.
"Note on the number of monadic quantifiers in monadic $\Sigma 1$₁" (1995) 

Numbers

in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004) 

Numer

in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001) 

Numerical

• in: Findling R. and Kohlenbach U.
  "Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024)
• in: Körnlein D. and Kohlenbach U.
  "Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
• in: Kohlenbach U.
  "New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
• in: Pinto P.
  "A rate of metastability for the Halpern type Proximal Point Algorithm" (2021)
• in: Pischke N. and Kohlenbach U.
  "Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)

Submit a bug

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