Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2022 |
| Country: | España |
| Institution: | Universidad de La Rioja (UR) |
| Repository: | RIUR. Repositorio Institucional de la Universidad de La Rioja |
| OAI Identifier: | oai:portal.dialnet.es:doc/631ce8f863e72b1052563699 |
| Online Access: | https://investigacion.unirioja.es/documentos/631ce8f863e72b1052563699 |
| Access Level: | Open access |
| Description not available. |