Enumerations of the Kolmogorov function

Richard Beigel, Harry Buhrman, Peter A. Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan, Leen Torenvliet. Enumerations of the Kolmogorov function. Journal of Symbolic Logic, 71(2):501-528, 2006. [doi]

Abstract

Abstract is missing.

  翻译: