Recursively Enumerable Reals and Chaitin Omega Numbers.
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
Browse the full STACS paper archive.
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
Browse the full STACS paper archive.