%0 Conference Paper %1 conf/wollic/IbukaKK08 %A Ibuka, Shingo %A Kikuchi, Makoto %A Kikyo, Hirotaka %B WoLLIC %D 2008 %E Hodges, Wilfrid %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 218-225 %T On Characteristic Constants of Theories Defined by Kolmogorov Complexity. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2008.html#IbukaKK08 %V 5110 %@ 978-3-540-69936-1

@inproceedings{conf/wollic/IbukaKK08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Ibuka, Shingo and Kikuchi, Makoto and Kikyo, Hirotaka}, biburl = {https://www.bibsonomy.org/bibtex/20ba4a829af6400eaedc7f98db738c1ee/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2008}, editor = {Hodges, Wilfrid and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-540-69937-8_19}, interhash = {25e8367affa5f803d0bbc550072f0f62}, intrahash = {0ba4a829af6400eaedc7f98db738c1ee}, isbn = {978-3-540-69936-1}, keywords = {dblp}, pages = {218-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:00:43.000+0200}, title = {On Characteristic Constants of Theories Defined by Kolmogorov Complexity.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2008.html#IbukaKK08}, volume = 5110, year = 2008 }