Extra Variables Can Be Eliminated from Functional Logic Programs (Q2867956): 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.2006.05.049
+Normal rank
@@ Property / OpenAlex ID @@
+W2044013129
@@ Property / OpenAlex ID: W2044013129 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Specialization of functional logic programs based on needed narrowing
+Normal rank
@@ Property / cites work @@
+Q2850664
@@ Property / cites work: Q2850664 / 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 @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Q2766766
@@ Property / cites work: Q2766766 / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Q5287526
@@ Property / cites work: Q5287526 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theoretic approach to failure in functional logic programming
+Normal rank
@@ Property / cites work @@
+Q4938421
@@ Property / cites work: Q4938421 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
+Normal rank
@@ Property / cites work @@
+Q2762632
@@ Property / cites work: Q2762632 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing functional logic languages using multiple threads and stores
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2867956