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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.05.039
+Normal rank
@@ Property / OpenAlex ID @@
+W2088726314
@@ Property / OpenAlex ID: W2088726314 / rank @@
+Normal rank
@@ 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