Scalable LCF-Style Proof Translation (Q5327336)

From MaRDI portal
scientific article; zbMATH DE number 6196156
Language Label Description Also known as
English
Scalable LCF-Style Proof Translation
scientific article; zbMATH DE number 6196156

    Statements

    Scalable LCF-Style Proof Translation (English)
    0 references
    0 references
    0 references
    7 August 2013
    0 references

    Identifiers