%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 http://www.numdam.org/articles/10.1051/ita:2007048/
%R 10.1051/ita:2007048
%G en
%F ITA_2008__42_1_105_0