New Results on Quantifier Elimination Over Real Closed Fields and Applications to Constraint Databases (1999)

Cached

Download Links

by Saugata Basu
Venue:Journal of the ACM
Citations:32 - 4 self