|
|
||
|
|
|
MR1434910
(98c:03077)
03C10
(03B25 03C60 03D15 68Q25 68Q40)
Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise On the combinatorial and algebraic complexity of quantifier elimination. J. ACM 43 (1996), no. 6, 1002--1045. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|