A characterisation of weightable quasi-metric generating functions
From MaRDI portal
Recommendations
Cites work
- A characterization of partial metrizability: Domains are quantifiable.
- A fixed point theorem in partial quasi-metric spaces and an application to software engineering
- A quantitative computational model for complete partial metric spaces via formal balls
- An extensional treatment of lazy data flow deadlock
- Complete partial metric spaces have partially metrizable computational models
- Denotational semantics for programming languages, balanced quasi-metrics and fixed points
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
- Elements of generalized ultrametric domain theory
- Encyclopedia of Distances
- Fixed point theorems in generalized metric spaces with applications to computer science
- scientific article; zbMATH DE number 994051 (Why is no real title available?)
- scientific article; zbMATH DE number 4212991 (Why is no real title available?)
- scientific article; zbMATH DE number 3895878 (Why is no real title available?)
- scientific article; zbMATH DE number 4094358 (Why is no real title available?)
- scientific article; zbMATH DE number 1257185 (Why is no real title available?)
- scientific article; zbMATH DE number 1107511 (Why is no real title available?)
- scientific article; zbMATH DE number 1978322 (Why is no real title available?)
- scientific article; zbMATH DE number 1540400 (Why is no real title available?)
- scientific article; zbMATH DE number 6026956 (Why is no real title available?)
- Indexing schemes for similarity search: an illustrated paradigm
- New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective
- On the symmetrization of quasi-metrics: an aggregation perspective
- Partial Metric Topology
- Quasi-metric properties of complexity spaces
- Sequence spaces and asymmetric norms in the theory of computational complexity.
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics
- The correspondence between partial metrics and semivaluations
- The quasi-metric of complexity convergence
- The Smyth Completion
Cited in
(7)- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective
- On the characterization of partial metrics and quasimetrics
- On the symmetrization of quasi-metrics: an aggregation perspective
- scientific article; zbMATH DE number 1107511 (Why is no real title available?)
- scientific article; zbMATH DE number 1540400 (Why is no real title available?)
- Functional equations related to weightable quasi-metrics
- DIFFERENT TYPES OF QUASI-METRIC AND PARTIAL METRIC SPACES
This page was built for publication: A characterisation of weightable quasi-metric generating functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5056518)