Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750): Difference between revisions

@@ Property / cites work @@
+Narrowing vs. SLD-resolution
@@ Property / cites work: Narrowing vs. SLD-resolution / 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 @@
+Q3765265
@@ Property / cites work: Q3765265 / 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 @@
+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 @@
+Q3696486
@@ Property / cites work: Q3696486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779784
@@ Property / cites work: Q3779784 / rank @@
+Normal rank