Paper it!
Random reals and possibly infinite computations Part I: Randomness in the first jump of the halting problem
Verónica Becher
2005
, Journal of Symbolic Logic 70 (3), 891-913, 2005
Citas: 23
Publicaciones que citan a este paper