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)

  1. Divasón, J.
  2. Thiemann, R.
Revista:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Año de publicación: 2022

Volumen: 66

Número: 4

Páginas: 1097

Tipo: Errata

DOI: 10.1007/S10817-022-09636-0 GOOGLE SCHOLAR lock_openAcceso abierto editor
Repositorio institucional: lock_openAcceso abierto Editor
Fuente de los datos: Scopus