Qualitative versus quantitative fixed point techniques in computer science (Q5236147)

From MaRDI portal
scientific article; zbMATH DE number 7117255
Language Label Description Also known as
English
Qualitative versus quantitative fixed point techniques in computer science
scientific article; zbMATH DE number 7117255

    Statements

    Qualitative versus quantitative fixed point techniques in computer science (English)
    0 references
    0 references
    0 references
    15 October 2019
    0 references
    partial order
    0 references
    quasi-metric
    0 references
    partial metric
    0 references
    complete
    0 references
    fixed point
    0 references
    denotational semantics
    0 references
    algorithmic complexity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references