%0 Journal Article %1 journals/jar/DivasonT22a %A Divasón, Jose %A Thiemann, René %D 2022 %J J. Autom. Reason. %K dblp %N 4 %P 1097 %T Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic. %U http://dblp.uni-trier.de/db/journals/jar/jar66.html#DivasonT22a %V 66

@article{journals/jar/DivasonT22a, added-at = {2022-12-05T00:00:00.000+0100}, author = {Divasón, Jose and Thiemann, René}, biburl = {https://www.bibsonomy.org/bibtex/29383707d32c8e02d1ccb315f8d0c9ffd/dblp}, ee = {https://doi.org/10.1007/s10817-022-09636-0}, interhash = {d262a55588e48fd975d9e91a39c8e586}, intrahash = {9383707d32c8e02d1ccb315f8d0c9ffd}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = 1097, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar66.html#DivasonT22a}, volume = 66, year = 2022 }