Formalization of Properties of Functional Programs (Q5606281)

From MaRDI portal
Revision as of 15:35, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/jacm/MannaP70, #quickstatements; #temporary_batch_1731505720702)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 3327831
Language Label Description Also known as
English
Formalization of Properties of Functional Programs
scientific article; zbMATH DE number 3327831

    Statements

    Formalization of Properties of Functional Programs (English)
    0 references
    0 references
    0 references
    1970
    0 references

    Identifiers