Lazy Context Cloning for Non-Deterministic Graph Rewriting (Q2867896): Difference between revisions

@@ Property / cites work @@
+Specialization of functional logic programs based on needed narrowing
+Normal rank
@@ Property / cites work @@
+Q4364366
@@ Property / cites work: Q4364366 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation strategies for functional logic programming
+Normal rank
@@ Property / cites work @@
+On the Correctness of Bubbling
@@ Property / cites work: On the Correctness of Bubbling / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Overlapping Rules and Logic Variables in Functional Logic Programs
+Normal rank
@@ Property / cites work @@
+A Virtual Machine for Functional Logic Computations
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944885
@@ Property / cites work: Q4944885 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic algebraic specifications and nonconfluent term rewriting
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776590
@@ Property / cites work: Q3776590 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing functional logic languages using multiple threads and stores
+Normal rank