Shingo Ibuka

According to our database1, Shingo Ibuka authored at least 2 papers between 2008 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Kolmogorov complexity and characteristic constants of formal theories of arithmetic.
Math. Log. Q., 2011

2008
On Characteristic Constants of Theories Defined by Kolmogorov Complexity.
Proceedings of the Logic, 2008


  Loading...