Quantifier Elimination in the Theory of an Algebraically-closed Field

Doug Ierardi

Browse the full STOC paper archive.