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
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
0 references
0 references
0 references