Definability and fast quantifier elimination in algebraically closed fields, Theoret (1983)

by J Heintz
Venue:Comput. Sci