TY - RPRT TI - Quantifier elimination and minimality conditions in algebraically closed valued fields AU - Yimu Yin PY - 2010 UR - https://arxiv.org/abs/1006.1393 ID - 1006.1393 ER -