On Characteristic Constants of Theories Defined by Kolmogorov Complexity

Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo. On Characteristic Constants of Theories Defined by Kolmogorov Complexity. In Wilfrid Hodges, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Volume 5110 of Lecture Notes in Computer Science, pages 218-225, Springer, 2008. [doi]

Authors

Shingo Ibuka

This author has not been identified. Look up 'Shingo Ibuka' in Google

Makoto Kikuchi

This author has not been identified. Look up 'Makoto Kikuchi' in Google

Hirotaka Kikyo

This author has not been identified. Look up 'Hirotaka Kikyo' in Google