Embedding metric spaces into CPO's (Q1164416): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262213
@@ Property / cites work: Q3262213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains
@@ Property / cites work: Effectively given domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability concepts for programming language semantics
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947101
@@ Property / cites work: Q3947101 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541833
@@ Property / cites work: Q5541833 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/WeihrauchS81
@@ Property / DBLP publication ID: journals/tcs/WeihrauchS81 / rank @@
+Normal rank