Quasi-metric properties of complexity spaces
From MaRDI portal
Publication:1807591
DOI10.1016/S0166-8641(98)00102-3zbMath0941.54028MaRDI QIDQ1807591
Michel Schellekens, Salvador Romaguera
Publication date: 3 August 2000
Published in: Topology and its Applications (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Function spaces in general topology (54C35) Metric spaces, metrizability (54E35) Uniform structures and generalizations (54E15) Real-valued functions in general topology (54C30)
Related Items (62)
Compactness and finite dimension in asymmetric normed linear spaces ⋮ Partial metric monoids and semivaluation spaces ⋮ A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem ⋮ The Goldstine theorem for asymmetric normed linear spaces ⋮ Takahashi's minimization theorem and some related results in quasi-metric spaces ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Dominated extensions of functionals and V-convex functions of cancellative cones ⋮ A characterization of generalized monotone normed cones ⋮ A new approach on generalized quasimetric spaces induced by partial metric spaces ⋮ Maps that preserve left (right) $K$-Cauchy sequences ⋮ A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application ⋮ On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ On Bourbaki-bounded sets on quasi-pseudometric spaces ⋮ Conjugate families of mappings in pointwise metric fuzzy lattices ⋮ Weakly weighted generalised quasi-metric spaces and semilattices ⋮ Characterizations of quasi-metric and \(G\)-metric completeness involving \(w\)-distances and fixed points ⋮ The complexity probabilistic quasi-metric space ⋮ Applications of utility functions defined on quasi-metric spaces ⋮ Sequence spaces and asymmetric norms in the theory of computational complexity. ⋮ Properties of the distance function to strongly and weakly convex sets in a nonsymmetrical space ⋮ On aggregation of normed structures ⋮ On quasi-metric aggregation functions and fixed point theorems ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ Asymmetric norms and optimal distance points in linear spaces ⋮ Closed graph and open mapping theorems for normed cones ⋮ New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces ⋮ The complexity space of partial functions: a connection between complexity analysis and denotational semantics ⋮ Applications of the complexity space to the general probabilistic divide and conquer algorithms ⋮ Relation between metric spaces and Finsler spaces ⋮ Compactness in asymmetric normed spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science ⋮ Complexity spaces as quantitative domains of computation ⋮ Completeness in quasi-metric spaces and Ekeland variational principle ⋮ Weightable quasi-metric semigroups and semilattices ⋮ Fixed points of contractive maps on dcpo's ⋮ Complexity analysis via approach spaces ⋮ New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs ⋮ Aggregation of asymmetric distances in computer science ⋮ A Nemytskii-Edelstein type fixed point theorem for partial metric spaces ⋮ Characterizations of metrizable topological vector spaces and their asymmetric generalizations in terms of fuzzy (quasi-)norms ⋮ Quasi-metrics and monotone normality ⋮ Quotient normed cones ⋮ The average running time of an algorithm as a midpoint between fuzzy sets ⋮ An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words ⋮ On the structure of the space of complexity partial functions ⋮ A formula for the superdifferential of the distance determined by the gauge function to the complement of a convex set ⋮ Compact and precompact sets in asymmetric locally convex spaces ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ Unnamed Item ⋮ Compact convex sets in 2-dimensional asymmetric normed lattices ⋮ An extension of the dual complexity space and an application to computer science ⋮ The correspondence between partial metrics and semivaluations ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ Qualitative versus quantitative fixed point techniques in computer science ⋮ \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis ⋮ Bicompleting weightable quasi-metric spaces and partial metric spaces ⋮ Fixed point theorems for fuzzy mappings in quasi-metric spaces ⋮ Various generalizations of metric spaces and fixed point theorems
This page was built for publication: Quasi-metric properties of complexity spaces
