Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inferring expected runtimes of probabilistic integer programs using expected sizes
scientific article

    Statements

    Inferring expected runtimes of probabilistic integer programs using expected sizes (English)
    0 references
    0 references
    0 references
    0 references
    4 August 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers