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.
Journal:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Year of publication: 2022

Volume: 66

Issue: 4

Pages: 1097

Type: Erratum

DOI: 10.1007/S10817-022-09636-0 GOOGLE SCHOLAR lock_openOpen access editor
Institutional repository: lock_openOpen access Editor
Data source: Scopus