Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding (Q2867961): Difference between revisions

@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy unfolding: A multi-adjoint approach
@@ Property / cites work: On fuzzy unfolding: A multi-adjoint approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation in logic programming
@@ Property / cites work: Partial evaluation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736480
@@ Property / cites work: Q4736480 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank