The following pages link to The Smyth Completion (Q4222778):
Displaying 47 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)
- On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms (Q288177) (← links)
- A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem (Q288181) (← links)
- 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)
- Applications and common coupled fixed point results in ordered partial metric spaces (Q680742) (← 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)
- New perspectives of granular computing in relation geometry induced by pairings (Q2000596) (← 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)
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective (Q2175511) (← links)
- Fixed point theorems in generalized metric spaces with applications to computer science (Q2252670) (← links)
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics (Q2319341) (← links)
- On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms (Q2331702) (← links)
- A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application (Q2405602) (← links)
- Compactness in asymmetric normed spaces (Q2474463) (← links)
- Bicompleting weightable quasi-metric spaces and partial metric spaces (Q2569761) (← links)
- Characterizations of quasi-metric and \(G\)-metric completeness involving \(w\)-distances and fixed points (Q2680563) (← links)
- (Q2843617) (← links)
- (Q2843630) (← links)
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383) (← links)
- On the triangle equality (Q4634665) (← links)
- (Q6070563) (← links)
