Élimination des quantificateurs (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Élimination des quantificateurs" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

3,051^st place

182^nd place

207^th place

929^th place

doi.org

(en) Jeanne Ferrante et Charles Rackoff, « A decision procedure for the first order theory of real addition with order », SIAM J. on Computing, vol. 4, n^o 1,‎ mars 1975, p. 69-76 (DOI 10.1137/0204006).
(en) Rüdiger Loos et Volker Weispfenning, « Applying linear quantifier elimination », The Computer Journal, vol. 36, n^o 5,‎ 1993, p. 450-462 (DOI 10.1093/comjnl/36.5.450, lire en ligne [PDF]).

(en) Philipp Rothmaler, Introduction to Model Theory, CRC Press, 2000 (lire en ligne), p. 141.

(en) Rüdiger Loos et Volker Weispfenning, « Applying linear quantifier elimination », The Computer Journal, vol. 36, n^o 5,‎ 1993, p. 450-462 (DOI 10.1093/comjnl/36.5.450, lire en ligne [PDF]).