Author:
Bradley Aaron R.,Manna Zohar,Sipma Henny B.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Codish, M., Genaim, S., Bruynooghe, M., Gallagher, J., Vanhoof, W.: One lop at a time. In: WST (2003)
2. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: GI Conf. Automata Theory and Formal Languages , pp. 515–532 (1975)
3. Lecture Notes in Computer Science;M.A. Colón,2003
4. Lecture Notes in Computer Science;M.A. Colón,2001
5. Lecture Notes in Computer Science;M.A. Colón,2002
Cited by
106 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献