Randomness and halting probabilities

Verónica Becher

2006, Journal of Symbolic Logic 71 (4), 1411-1430, 2006
Citas: 23

Publicaciones que citan a este paper