%0 Journal Article %1 journals/mlq/IbukaKK11 %A Ibuka, Shingo %A Kikuchi, Makoto %A Kikyo, Hirotaka %D 2011 %J Math. Log. Q. %K dblp %N 5 %P 470-473 %T Kolmogorov complexity and characteristic constants of formal theories of arithmetic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq57.html#IbukaKK11 %V 57

@article{journals/mlq/IbukaKK11, added-at = {2018-11-30T00:00:00.000+0100}, author = {Ibuka, Shingo and Kikuchi, Makoto and Kikyo, Hirotaka}, biburl = {https://www.bibsonomy.org/bibtex/28cbecb2abed61f46f55c6d05ada8726c/dblp}, ee = {https://doi.org/10.1002/malq.201010017}, interhash = {12ada4dfe9feb883d4f6e0c3adfeea5f}, intrahash = {8cbecb2abed61f46f55c6d05ada8726c}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 5, pages = {470-473}, timestamp = {2018-12-01T11:40:48.000+0100}, title = {Kolmogorov complexity and characteristic constants of formal theories of arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq57.html#IbukaKK11}, volume = 57, year = 2011 }