%0 Journal Article %1 journals/fm/NakashoYOS16 %A Nakasho, Kazuhisa %A Yamazaki, Hiroshi %A Okazaki, Hiroyuki %A Shidama, Yasunari %D 2016 %J Formalized Mathematics %K dblp %N 1 %P 81-94 %T Conservation Rules of Direct Sum Decomposition of Groups. %U http://dblp.uni-trier.de/db/journals/fm/fm24.html#NakashoYOS16 %V 24

@article{journals/fm/NakashoYOS16, added-at = {2019-02-20T00:00:00.000+0100}, author = {Nakasho, Kazuhisa and Yamazaki, Hiroshi and Okazaki, Hiroyuki and Shidama, Yasunari}, biburl = {https://www.bibsonomy.org/bibtex/29e8d8ef2fdf1eb39717ab17f6af4f6fc/dblp}, ee = {https://doi.org/10.1515/forma-2016-0007}, interhash = {2b1ba526a9ced1e5a2b69ca39b19b359}, intrahash = {9e8d8ef2fdf1eb39717ab17f6af4f6fc}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 1, pages = {81-94}, timestamp = {2019-02-21T11:39:31.000+0100}, title = {Conservation Rules of Direct Sum Decomposition of Groups.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm24.html#NakashoYOS16}, volume = 24, year = 2016 }