Cristian Calude;Richard J. Coles
-;-
A characterization of c.e. random reals
Theoretical Computer Science
Randomness and Reducibility
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Randomness and reducibility
Journal of Computer and System Sciences