scientific article
From MaRDI portal
Publication:3821265
zbMath0668.54018MaRDI QIDQ3821265
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55) Uniform structures and generalizations (54E15)
Related Items (55)
A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms ⋮ Generalized Scott topology on sets with families of pre-orders ⋮ Formal balls of Q-categories ⋮ Convergence and fixed points by fuzzy orders ⋮ A characterisation of weightable quasi-metric generating functions ⋮ A representation theorem for quasi-metric spaces ⋮ Constructing a quasi-uniform function space ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Metric semantics for concurrency ⋮ Effective inseparability in a topological setting ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ Sober metric approach spaces ⋮ The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words ⋮ Liminf convergence in \(\Omega\)-categories ⋮ Continuity spaces: Reconciling domains and metric spaces ⋮ Limiting semantics of numerical programs ⋮ Unnamed Item ⋮ Applications of utility functions defined on quasi-metric spaces ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Sequence spaces and asymmetric norms in the theory of computational complexity. ⋮ Yoneda completeness ⋮ A metric for traces ⋮ Unnamed Item ⋮ Generalized metrics and uniquely determined logic programs. ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ A solution to the completion problem for quasi-pseudometric spaces ⋮ Fractal dimension for fractal structures: applications to the domain of words ⋮ Completeness in quasi-uniform spaces ⋮ Domain Equations Based on Sets with Families of Pre-orders ⋮ Geodesics in asymmetric metric spaces ⋮ Semi-Lipschitz functions and best approximation in quasi-metric spaces ⋮ A double completion for an arbitrary \(T_0\)-quasi-metric space ⋮ A faithful computational model of the real numbers ⋮ Elements of generalized ultrametric domain theory ⋮ Complete and directed complete \(\Omega \)-categories ⋮ Domain representability of metric spaces ⋮ Applications of the complexity space to the general probabilistic divide and conquer algorithms ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ Convergence and quantale-enriched categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A New Approach to Quantitative Domain Theory ⋮ On non-Hausdorff spaces ⋮ Approximation in quantale-enriched categories ⋮ SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE ⋮ Approach merotopological spaces and their completion ⋮ Unnamed Item ⋮ Scott approach distance on metric spaces ⋮ Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort ⋮ The correspondence between partial metrics and semivaluations ⋮ Smyth completion as bicompletion ⋮ The Smyth Completion ⋮ The essence of ideal completion in quantitative form ⋮ On the Yoneda completion of a quasi-metric space
This page was built for publication:
