A BIBLIOGRAPHY OF QUANTIFIER ELIMINATION FOR REAL CLOSED FIELDS

[31] ELIMINATION OF QUANTIFIERS IN ALGEBRAIC STRUCTURES [J]. ADVANCES IN MATHEMATICS, 1983, 47 (01) : 74 - 87

[32] MASSEY W. S., 1978, HOMOLOGY COHOMOLOGY

[33] AN IMPROVED PROJECTION OPERATION FOR CYLINDRICAL ALGEBRAIC DECOMPOSITION OF 3-DIMENSIONAL SPACE [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 141 - 161

[34] ON APPROXIMATIONS AND INCIDENCE IN CYLINDRICAL ALGEBRAIC DECOMPOSITIONS [J]. SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 972 - 993

[35] Rabin M.O., 1977, HDB MATH LOGIC, P595

[36] SOME ASPECTS OF COMPLEXITY IN REAL ALGEBRAIC-GEOMETRY [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 109 - 119

[37] Robinson Abraham, 1965, INTRO MODEL THEORY M

[38] SCHWARTZ JT, 1983, ADV APPL MATH, V4, P298

[39] A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA [J]. ANNALS OF MATHEMATICS, 1954, 60 (02) : 365 - 374

[40] REAL ADDITION AND THE POLYNOMIAL HIERARCHY [J]. INFORMATION PROCESSING LETTERS, 1985, 20 (03) : 115 - 120

[31] ELIMINATION OF QUANTIFIERS IN ALGEBRAIC STRUCTURES [J]. ADVANCES IN MATHEMATICS, 1983, 47 (01) : 74 - 87

[32] MASSEY W. S., 1978, HOMOLOGY COHOMOLOGY

[33] AN IMPROVED PROJECTION OPERATION FOR CYLINDRICAL ALGEBRAIC DECOMPOSITION OF 3-DIMENSIONAL SPACE [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 141 - 161

[34] ON APPROXIMATIONS AND INCIDENCE IN CYLINDRICAL ALGEBRAIC DECOMPOSITIONS [J]. SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 972 - 993

[35] Rabin M.O., 1977, HDB MATH LOGIC, P595

[36] SOME ASPECTS OF COMPLEXITY IN REAL ALGEBRAIC-GEOMETRY [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 109 - 119

[37] Robinson Abraham, 1965, INTRO MODEL THEORY M

[38] SCHWARTZ JT, 1983, ADV APPL MATH, V4, P298

[39] A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA [J]. ANNALS OF MATHEMATICS, 1954, 60 (02) : 365 - 374

[40] REAL ADDITION AND THE POLYNOMIAL HIERARCHY [J]. INFORMATION PROCESSING LETTERS, 1985, 20 (03) : 115 - 120