Enumerations of the Kolmogorov function (2006)

by R Beigel, H M Buhrman, P Fejer, L Fortnow, P Grabowski, L Longpre, A Muchnik, F Stephan, L Torenvliet
Venue:Journal of Symbolic Logic