An optimal narrowing strategy for general canonical systems (Q5881212): Difference between revisions

@@ Property / cites work @@
+Narrowing vs. SLD-resolution
@@ Property / cites work: Narrowing vs. SLD-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490928
@@ Property / cites work: Q3490928 / rank @@
+Normal rank
@@ Property / cites work @@
+Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
+Normal rank
@@ Property / cites work @@
+Q3789062
@@ Property / cites work: Q3789062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696495
@@ Property / cites work: Q3696495 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting redundant narrowing derivations by the LSE-SL reducibility test
+Normal rank
@@ Property / cites work @@
+Basic narrowing revisited
@@ Property / cites work: Basic narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779784
@@ Property / cites work: Q3779784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696486
@@ Property / cites work: Q3696486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490956
@@ Property / cites work: Q3490956 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification modulo an equality theory for equational logic programming
+Normal rank