Formal derivation of graph algorithmic programs using partition-and-recur (Q1273073): Difference between revisions

@@ Property / author @@
-Jin-Yun Xue
@@ Property / author: Jin-Yun Xue / rank @@
-Normal rank
@@ Property / author @@
+Jin-Yun Xue
@@ Property / author: Jin-Yun Xue / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On a routing problem
@@ Property / cites work: On a routing problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292914
@@ Property / cites work: Q3292914 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating path algorithms
@@ Property / cites work: Calculating path algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1273073