Pages that link to "Item:Q3008383"
From MaRDI portal
The following pages link to The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383):
Displayed 9 items.
- A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms (Q266307) (← links)
- A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem (Q288181) (← links)
- Complexity spaces as quantitative domains of computation (Q536037) (← links)
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective (Q2175511) (← links)
- On quasi-metric aggregation functions and fixed point theorems (Q2445564) (← links)
- Characterizations of quasi-metric and \(G\)-metric completeness involving \(w\)-distances and fixed points (Q2680563) (← links)
- New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces (Q4903466) (← links)
- A characterisation of weightable quasi-metric generating functions (Q5056518) (← links)
- On Fixed Point Theory in Partially Ordered (Quasi-)metric Spaces and an Application to Complexity Analysis of Algorithms (Q5152986) (← links)