RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Arithmetization of the field of reals with exponentiation extended abstract

Sedki Boughattas and Jean-Pierre Ressayre

RAIRO-Theor. Inf. Appl., 42 1 (2008) 105-119

Published online: 18 January 2008

DOI: 10.1051/ita:2007048

Sedki Boughattas

Jean-Pierre Ressayre

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)