Saugata Basu, Richard Pollack, Marie-Françoise Roy. On the Combinatorial and Algebraic Complexity of Quantifier Elimination. In 35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA. pages 632-641, IEEE, 1994.
@inproceedings{BasuPR94,
title = {On the Combinatorial and Algebraic Complexity of Quantifier Elimination},
author = {Saugata Basu and Richard Pollack and Marie-Françoise Roy},
year = {1994},
tags = { algebra},
researchr = {https://researchr.org/publication/BasuPR94},
cites = {0},
citedby = {0},
pages = {632-641},
booktitle = {35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA},
publisher = {IEEE},
}