|
|
Volumn , Issue , 1989, Pages 138-147
|
|
Quantifier elimination in the theory of an algebraically-closed field
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER PROGRAMMING--ALGORITHMS;
COMPUTER SYSTEMS, DIGITAL--PARALLEL PROCESSING;
MULTIVARIATE POLYNOMIALS;
PARALLEL ALGORITHMS;
QUANTIFIER ELIMINATION;
MATHEMATICAL TECHNIQUES;
|
|
EID: 0024868428
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/73007.73020 Document Type: Conference Paper |
|
Times cited : (23)
|
|
References (25)
|
