Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;F. Afrati,1996
2. Basu, S.: New results on quantifier elimination over real closed fields and applications to constraint databases. Journal of the ACM 46(4), 537–555 (1999)
3. Benedikt, M., Dong, G., Libkin, L., Wong, L.: Relational expressive power of constraint query languages. Journal of the ACM 45(1), 1–34 (1998)
4. Lecture Notes in Computer Science;M. Cai,2000
5. Caviness, B.F., Johnson, J.R. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Heidelberg (1998)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献