Arithmetization of the Field of Reals With Exponentiation Extended Abstract
RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita:2007048
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2008
Authors
Publisher
EDP Sciences