Pages that link to "Item:Q5459745"
From MaRDI portal
The following pages link to Denotational semantics for programming languages, balanced quasi-metrics and fixed points (Q5459745):
Displaying 18 items.
- On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms (Q288177) (← links)
- Modeling the dynamics of concurrent computing systems (Q552319) (← links)
- Notes on ``Modeling the dynamics of concurrent computing systems'' (Q692304) (← links)
- The average running time of an algorithm as a midpoint between fuzzy sets (Q732662) (← links)
- The Hausdorff fuzzy quasi-metric (Q968925) (← links)
- On balancedness and D-completeness of the space of semi-Lipschitz functions (Q987543) (← links)
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs (Q2017395) (← links)
- Aggregation of asymmetric distances in computer science (Q2269783) (← links)
- Fractal dimension for fractal structures: applications to the domain of words (Q2449235) (← links)
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383) (← links)
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344) (← links)
- An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (Q3618612) (← links)
- A quasi-metric computational model from modular functions on monoids (Q3643150) (← 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)
- Complete partial metric spaces have partially metrizable computational models (Q5891573) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891574) (← links)
