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 DA - 2008/// SP - 105 EP - 119 VL - 42 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2007048/ UR - https://zbmath.org/?q=an%3A1144.03027 UR - https://www.ams.org/mathscinet-getitem?mr=2382546 UR - https://doi.org/10.1051/ita:2007048 DO - 10.1051/ita:2007048 LA - en ID - ITA_2008__42_1_105_0 ER -