Shingo Ibuka

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
Kolmogorov complexity and characteristic constants of formal theories of arithmetic. Math. Log. Q. 57 (5) (2011)
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
On Characteristic Constants of Theories Defined by Kolmogorov Complexity. WoLLIC (2008)