Equivalence of Two Formal Semantics for Functional Logic Programs (Q2867964): Difference between revisions

@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+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 @@
+Extra Variables Can Be Eliminated from Functional Logic Programs
+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 @@
+Functional Logic Programming: From Theory to Curry
+Normal rank
@@ Property / cites work @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic algebraic specifications and nonconfluent term rewriting
+Normal rank
@@ Property / cites work @@
+Q2762632
@@ Property / cites work: Q2762632 / rank @@
+Normal rank