@article{HEINTZ1983239,
    Abstract = {The Bezout-Inequality, an affine version (not including multiplicities) of the classical Bezout-Theorem is derived for applications in algebraic complexity theory. Upper bounds for the cardinality and number of sets definable by first order formulas over algebraically closed fields are given. This is used for fast quantifier elimination in algebraically closed fields.},
    Author = {Heintz, Joos},
    File = {Definability and fast quantifier elimination in algebraically closed fields - 82208953.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Bezout-Inequality, definability and complexity of quantifier elimination over algebraically closed fields},
    Number = {3},
    Pages = {239-277},
    Title = {Definability and fast quantifier elimination in algebraically closed fields},
    URL = {https://www.sciencedirect.com/science/article/pii/0304397583900026},
    Volume = {24},
    Year = {1983},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0304397583900026},
    bdsk-url-2 = {https://doi.org/10.1016/0304-3975(83)90002-6},
    date-added = {2021-10-14 19:11:04 +0200},
    date-modified = {2021-10-14 19:11:04 +0200},
    doi = {10.1016/0304-3975(83)90002-6}
}

@article{HEINTZ1983239, Abstract = {The Bezout-Inequality, an affine version (not including multiplicities) of the classical Bezout-Theorem is derived for applications in algebraic complexity theory. Upper bounds for the cardinality and number of sets definable by first order formulas over algebraically closed fields are given. This is used for fast quantifier elimination in algebraically closed fields.}, Author = {Heintz, Joos}, File = {Definability and fast quantifier elimination in algebraically closed fields - 82208953.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Bezout-Inequality, definability and complexity of quantifier elimination over algebraically closed fields}, Number = {3}, Pages = {239-277}, Title = {Definability and fast quantifier elimination in algebraically closed fields}, URL = {https://www.sciencedirect.com/science/article/pii/0304397583900026}, Volume = {24}, Year = {1983}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0304397583900026}, bdsk-url-2 = {https://doi.org/10.1016/0304-3975(83)90002-6}, date-added = {2021-10-14 19:11:04 +0200}, date-modified = {2021-10-14 19:11:04 +0200}, doi = {10.1016/0304-3975(83)90002-6} }