A fixed point theorem in partial quasi-metric spaces and an application to software engineering (Q668250): Difference between revisions

@@ Property / cites work @@
+New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
+Normal rank
@@ Property / cites work @@
+The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theorems on quasi-partial metric spaces
+Normal rank
@@ Property / cites work @@
+Q4546500
@@ Property / cites work: Q4546500 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial quasi-metrics
@@ Property / cites work: Partial quasi-metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3539342
@@ Property / cites work: Q3539342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
+Normal rank