Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Q3455064)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inductive Prover Based on Equality Saturation for a Lazy Functional Language
scientific article

    Statements

    Identifiers