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

ISSN: 1573-0670,  0168-7433

Datum der Publikation: 2022

Ausgabe: 66

Nummer: 4

Seiten: 1097

Art: Erratum

DOI: 10.1007/S10817-022-09636-0 GOOGLE SCHOLAR lock_openOpen Access editor
Institutionelles Repository: lock_openOpen Access Editor
Datenquelle: Scopus