Incremental proofs of sequential work (Q2292874)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incremental proofs of sequential work
scientific article

    Statements

    title
    Incremental proofs of sequential work (English)
    0 references
    author
    Nico Döttling
    0 references
    Russell W. F. Lai
    0 references
    Giulio Malavolta
    0 references
    publication date
    6 February 2020
    0 references
    zbMATH Keywords
    CP approach
    0 references

    Identifiers

    zbMATH DE Number
    7164000
    0 references
    OpenAlex ID
    W2945269180
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2292874&oldid=31621251"
    Powered by MediaWiki