On Characteristic Constants of Theories Defined by Kolmogorov Complexity.

Shingo Ibuka Makoto Kikuchi Hirotaka Kikyo On Characteristic Constants of Theories Defined by Kolmogorov Complexity. 218-225 2008 WoLLIC http://dx.doi.org/10.1007/978-3-540-69937-8_19 conf/wollic/2008 db/conf/wollic/wollic2008.html#IbukaKK08