The following pages link to The Smyth Completion (Q4222778):
Displayed 39 items.
- Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces (Q448710) (← links)
- Complexity spaces as quantitative domains of computation (Q536037) (← links)
- \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps (Q536875) (← links)
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
- The complexity probabilistic quasi-metric space (Q624638) (← links)
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science (Q692921) (← links)
- Quasi-metrics and monotone normality (Q719741) (← links)
- The average running time of an algorithm as a midpoint between fuzzy sets (Q732662) (← links)
- The Goldstine theorem for asymmetric normed linear spaces (Q837642) (← links)
- The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words (Q886315) (← links)
- Closed graph and open mapping theorems for normed cones (Q943030) (← links)
- Applications of the complexity space to the general probabilistic divide and conquer algorithms (Q947570) (← links)
- A Kirk type characterization of completeness for partial metric spaces (Q963594) (← links)
- The Hausdorff fuzzy quasi-metric (Q968925) (← links)
- Characterizations of metrizable topological vector spaces and their asymmetric generalizations in terms of fuzzy (quasi-)norms (Q983089) (← links)
- Quotient normed cones (Q998217) (← links)
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (Q1044673) (← links)
- Continuous operators on asymmetric normed spaces (Q1046861) (← links)
- Liminf convergence in \(\Omega\)-categories (Q1390934) (← links)
- Applications of utility functions defined on quasi-metric spaces (Q1404910) (← links)
- A characterization of partial metrizability: Domains are quantifiable. (Q1427788) (← links)
- Fixed point theorems for fuzzy mappings in quasi-metric spaces (Q1591017) (← links)
- The correspondence between partial metrics and semivaluations (Q1826629) (← links)
- Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces (Q1952126) (← links)
- A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces (Q1953777) (← links)
- Semi-Lipschitz functions and best approximation in quasi-metric spaces (Q1976275) (← links)
- Complexity analysis via approach spaces (Q2015820) (← links)
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs (Q2017395) (← links)
- A Nemytskii-Edelstein type fixed point theorem for partial metric spaces (Q2017681) (← links)
- Fixed point theorems in generalized metric spaces with applications to computer science (Q2252670) (← links)
- Compactness in asymmetric normed spaces (Q2474463) (← links)
- Bicompleting weightable quasi-metric spaces and partial metric spaces (Q2569761) (← links)
- (Q2843617) (← links)
- (Q2843630) (← links)
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383) (← links)
- An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (Q3618612) (← links)
- A quantitative computational model for complete partial metric spaces via formal balls (Q3636910) (← links)
- New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces (Q4903466) (← links)
- Weightable quasi-metric semigroups and semilattices (Q4923383) (← links)