TY - JOUR AU - Delon, Françoise TI - Élimination des quantificateurs dans les paires de corps algébriquement clos JO - Confluentes Mathematici PY - 2012 VL - 4 IS - 2 PB - World Scientific Publishing Co Pte Ltd UR - http://www.numdam.org/articles/10.1142/S179374421250003X/ DO - 10.1142/S179374421250003X LA - fr ID - CML_2012__4_2_A3_0 ER -