Author： Escardo M.H.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.162, Iss.1, 1996-08, pp. : 79-115
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Induction and recursion on the partial real line with applications to Real PCF
Theoretical Computer Science, Vol. 210, Iss. 1, 1999-01 ,pp. :
Access to resources
Recommend
The Kolmogorov complexity of real numbers
By Staiger L.
Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. :
Towards faster real algebraic numbers
By Rioboo R.
Journal of Symbolic Computation, Vol. 36, Iss. 3, 2003-09 ,pp. :
An abstract data type for real numbers
Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. :
A faithful computational model of the real numbers
Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. :