Generalized ultrametric spaces in quantitative domain theory (Q859838): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of metric spaces by partial metric spaces
+Normal rank
@@ Property / cites work @@
+Q4499241
@@ Property / cites work: Q4499241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3153396
@@ Property / cites work: Q3153396 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metrics and uniquely determined logic programs.
+Normal rank
@@ Property / cites work @@
+All Topologies Come From Generalized Metrics
@@ Property / cites work: All Topologies Come From Generalized Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807625
@@ Property / cites work: Q4807625 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943162
@@ Property / cites work: Q4943162 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+Normal rank
@@ Property / cites work @@
+A characterization of partial metrizability: Domains are quantifiable.
+Normal rank
@@ Property / cites work @@
+Q3821265
@@ Property / cites work: Q3821265 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-metrics, closure spaces and digital topology
@@ Property / cites work: Semi-metrics, closure spaces and digital topology / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative continuous domains
@@ Property / cites work: Quantitative continuous domains / rank @@
+Normal rank