Partial functions in ACL2 (Q1425160)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Partial functions in ACL2
scientific article

    Statements

    Partial functions in ACL2 (English)
    0 references
    0 references
    0 references
    15 March 2004
    0 references
    0 references
    ACL2
    0 references
    partial functions
    0 references
    0 references