%0 Conference Paper %1 conf/mkm/KugaHY16 %A Kuga, Ken'ichi %A Hagiwara, Manabu %A Yamamoto, Mitsuharu %B CICM %D 2016 %E Kohlhase, Michael %E Johansson, Moa %E Miller, Bruce R. %E de Moura, Leonardo %E Tompa, Frank Wm. %I Springer %K dblp %P 18-27 %T Formalization of Bing's Shrinking Method in Geometric Topology. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#KugaHY16 %V 9791 %@ 978-3-319-42546-7

@inproceedings{conf/mkm/KugaHY16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Kuga, Ken'ichi and Hagiwara, Manabu and Yamamoto, Mitsuharu}, biburl = {https://www.bibsonomy.org/bibtex/2c83fc339edf9353be4570f3746b948a6/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2016}, editor = {Kohlhase, Michael and Johansson, Moa and Miller, Bruce R. and de Moura, Leonardo and Tompa, Frank Wm.}, ee = {https://doi.org/10.1007/978-3-319-42547-4_2}, interhash = {7fd6227a7aa52c9bcd1aa5c08d44604a}, intrahash = {c83fc339edf9353be4570f3746b948a6}, isbn = {978-3-319-42546-7}, keywords = {dblp}, pages = {18-27}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:38.000+0200}, title = {Formalization of Bing's Shrinking Method in Geometric Topology.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#KugaHY16}, volume = 9791, year = 2016 }