Pages that link to "Item:Q1826629"
From MaRDI portal
The following pages link to The correspondence between partial metrics and semivaluations (Q1826629):
Displayed 13 items.
- Some coupled fixed point results on partial metric spaces (Q539385) (← links)
- Some new extensions of Banach's contraction principle to partial metric space (Q540278) (← links)
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
- Partial metric monoids and semivaluation spaces (Q818425) (← links)
- Partial quasi-metrics (Q854183) (← links)
- The Hausdorff fuzzy quasi-metric (Q968925) (← links)
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (Q1044673) (← links)
- A characterization of partial metrizability: Domains are quantifiable. (Q1427788) (← links)
- Coupled fixed point results for \((\psi,\phi)\)-weakly contractive condition in ordered partial metric spaces (Q2429090) (← links)
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344) (← links)
- A quantitative computational model for complete partial metric spaces via formal balls (Q3636910) (← links)
- Denotational semantics for programming languages, balanced quasi-metrics and fixed points (Q5459745) (← links)
- On the structure of the space of complexity partial functions (Q5459746) (← links)