Download citation
Arithmetization of the field of reals with exponentiation extended abstract
Sedki Boughattas and Jean-Pierre Ressayre
RAIRO-Theor. Inf. Appl. 42 (1) 105-119 (2008)
DOI: 10.1051/ita:2007048
| Download this article citation: |
Back to article