%0 Journal Article %A Boughattas, Sedki %A Ressayre, Jean-Pierre %T Arithmetization of the field of reals with exponentiation extended abstract %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2008 %P 105-119 %V 42 %N 1 %I EDP-Sciences %U https://doi.org/10.1051/ita:2007048 %R 10.1051/ita:2007048 %G en %F ITA_2008__42_1_105_0