![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press 35th Annual Symposium on Foundations of Computer Science - Santa Fe, NM, USA (20-22 Nov. 1994)] Proceedings 35th Annual Symposium on Foundations of Computer Science - On the combinatorial and algebraic complexity of quantifier elimination
Basu, S., Pollack, R., Roy, M.-F.Year:
1994
Language:
english
DOI:
10.1109/SFCS.1994.365728
File:
PDF, 839 KB
english, 1994