Amortized complexity verified (Q670702)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Amortized complexity verified
scientific article

    Statements

    Amortized complexity verified (English)
    0 references
    0 references
    0 references
    20 March 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    amortized complexity
    0 references
    interactive verification
    0 references
    functional programming
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references