Automated Certification of Implicit Induction Proofs (Q3100200)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated Certification of Implicit Induction Proofs
scientific article

    Statements

    Identifiers