No label defined (Q3978976)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    26 June 1992
    0 references
    0 references
    fixpoints
    0 references
    while-loops
    0 references
    category of domains
    0 references
    colimit
    0 references
    while-program
    0 references
    lifted sum
    0 references
    infinite loops
    0 references
    0 references