%0 Journal Article %1 journals/fm/KanazashiOS13 %A Kanazashi, Katuhiko %A Okazaki, Hiroyuki %A Shidama, Yasunari %D 2013 %J Formalized Mathematics %K dblp %N 1 %P 25-31 %T The Ck Space. %U http://dblp.uni-trier.de/db/journals/fm/fm21.html#KanazashiOS13 %V 21

@article{journals/fm/KanazashiOS13, added-at = {2019-02-20T00:00:00.000+0100}, author = {Kanazashi, Katuhiko and Okazaki, Hiroyuki and Shidama, Yasunari}, biburl = {https://www.bibsonomy.org/bibtex/2eab150b9e830a5f6e606b69daae3aadc/dblp}, ee = {https://doi.org/10.2478/forma-2013-0002}, interhash = {01e468eff6097136f689bc866ba2c157}, intrahash = {eab150b9e830a5f6e606b69daae3aadc}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 1, pages = {25-31}, timestamp = {2019-02-21T11:39:25.000+0100}, title = {The Ck Space.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm21.html#KanazashiOS13}, volume = 21, year = 2013 }