Correction to: ``A formalization of the Smith normal form in higher-order logic

DOI10.1007/S10817-022-09636-0MaRDI QIDQ2102951zbMATH OpenOpenAlexFDO

Authors Jose Divasón, René Thiemann

Publication date 12 December 2022

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10817-022-09636-0

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A formalization of the Smith normal form in higher-order logic
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• Publication:4890395
• scientific article; zbMATH DE number 1118055
• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
• Correction
• Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems

This page was built for publication: Correction to: ``A formalization of the Smith normal form in higher-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102951)