Login / Signup

Definability and Fast Quantifier Elimination in Algebraically Closed Fields.

Joos Heintz
Published in: Theor. Comput. Sci. (1983)
Keyphrases