Quantifier

Known as: Solution quantifier, Quantificational fallacy, Set quantifier 
For example, in arithmetic, it allows the expression of the statement that every natural number has a successor. A language element which generates a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1940-2017
01000200019402016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
RNA-Seq is revolutionizing the way transcript abundances are measured. A key challenge in transcript quantification from RNA-Seq… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
A data word is a sequence of pairs of a letter from a finite alphabet and an element from an infinite set, where the latter can… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
F the few scientists who earn a Nobel prize, the impact and relevance of their research is unquestionable. Among the rest of us… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Linear spectral mixture analysis (LSMA) is a widely used technique in remote sensing to estimate abundance fractions of materials… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper proposes that the distinguishing characteristic of Aspect-Oriented Programming (AOP) systems is that they allow… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
 We present a new, “elementary” quantifier elimination method for various special cases of the general quantifier elimination… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
In this paper, a new algorithm for performing quantifier elimination from first order formulas over real closed fields in given… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
The Bezout-Inequality, an afine version (not in&ding multiplicities) of the classical Bezout-Theorem is derived for applications… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
This is a brief summary and exposition of the paper "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic… (More)
Is this relevant?
Highly Cited
1960
Highly Cited
1960
The hope that mathematical methods employed in the investigation of formal logic would lead to purely computational methods for… (More)
Is this relevant?