Presentations of computably enumerable reals
Theoretical Computer Science
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Randomness, Computability, and Density
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
A Survey of Exact Arithmetic Implementations
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Journal of Computer and System Sciences
On the representations of NC and log-space real numbers
COCOON'07 Proceedings of the 13th annual international conference on Computing and Combinatorics
On logarithmic-space computable real numbers
Theoretical Computer Science
Hi-index | 5.23 |