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
The Degree of Unsolvability of a Real Number
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Journal of Computer and System Sciences
Revising Type-2 Computation and Degrees of Discontinuity
Electronic Notes in Theoretical Computer Science (ENTCS)
Singular Coverings and Non-Uniform Notions of Closed Set Computability
Electronic Notes in Theoretical Computer Science (ENTCS)
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Electronic Notes in Theoretical Computer Science (ENTCS)
A Note On the Turing Degrees of Divergence Bounded Computable Reals
Electronic Notes in Theoretical Computer Science (ENTCS)
Relative Randomness and Real Closed Fields
Electronic Notes in Theoretical Computer Science (ENTCS)
A computability theory of real numbers
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
On the turing degrees of divergence bounded computable reals
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Computability and continuity on the real arithmetic hierarchy and the power of type-2 nondeterminism
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Hi-index | 0.00 |