Pages that link to "Item:Q1807591"
From MaRDI portal
The following pages link to Quasi-metric properties of complexity spaces (Q1807591):
Displayed 50 items.
- 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)
- Completeness in quasi-metric spaces and Ekeland variational principle (Q536062) (← 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)
- On aggregation of normed structures (Q646150) (← 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)
- Compactness and finite dimension in asymmetric normed linear spaces (Q818408) (← links)
- Partial metric monoids and semivaluation spaces (Q818425) (← links)
- The Goldstine theorem for asymmetric normed linear spaces (Q837642) (← links)
- Asymmetric norms and optimal distance points in linear spaces (Q930745) (← 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)
- Relation between metric spaces and Finsler spaces (Q953915) (← links)
- Characterizations of metrizable topological vector spaces and their asymmetric generalizations in terms of fuzzy (quasi-)norms (Q983089) (← links)
- Quotient normed cones (Q998217) (← links)
- Compact and precompact sets in asymmetric locally convex spaces (Q1019137) (← links)
- An extension of the dual complexity space and an application to computer science (Q1032953) (← links)
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (Q1044673) (← links)
- Applications of utility functions defined on quasi-metric spaces (Q1404910) (← links)
- Sequence spaces and asymmetric norms in the theory of computational complexity. (Q1410069) (← 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)
- Conjugate families of mappings in pointwise metric fuzzy lattices (Q1933392) (← 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)
- A new approach on generalized quasimetric spaces induced by partial metric spaces (Q2157749) (← links)
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective (Q2175511) (← links)
- Properties of the distance function to strongly and weakly convex sets in a nonsymmetrical space (Q2203291) (← links)
- Fixed point theorems in generalized metric spaces with applications to computer science (Q2252670) (← links)
- Aggregation of asymmetric distances in computer science (Q2269783) (← links)
- A formula for the superdifferential of the distance determined by the gauge function to the complement of a convex set (Q2304483) (← links)
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics (Q2319341) (← links)
- Various generalizations of metric spaces and fixed point theorems (Q2341013) (← links)
- A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application (Q2405602) (← links)
- On quasi-metric aggregation functions and fixed point theorems (Q2445564) (← links)
- Compactness in asymmetric normed spaces (Q2474463) (← links)
- Bicompleting weightable quasi-metric spaces and partial metric spaces (Q2569761) (← links)
- Takahashi's minimization theorem and some related results in quasi-metric spaces (Q2631775) (← links)
- A characterization of generalized monotone normed cones (Q2644336) (← 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)
- 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)