TY - JOUR AU - Boughattas, Sedki AU - Ressayre, Jean-Pierre TI - Arithmetization of the field of reals with exponentiation extended abstract JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2008 SP - 105 EP - 119 VL - 42 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/ita:2007048/ DO - 10.1051/ita:2007048 LA - en ID - ITA_2008__42_1_105_0 ER -