Default rules for Curry (Q4593082): Difference between revisions

@@ Property / cites work @@
+Q4364366
@@ Property / cites work: Q4364366 / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Programming with Function Patterns
@@ Property / cites work: Declarative Programming with Function Patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Overlapping Rules and Logic Variables in Functional Logic Programs
+Normal rank
@@ Property / cites work @@
+A sequential reduction strategy
@@ Property / cites work: A sequential reduction strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3372485
@@ Property / cites work: Q3372485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873717
@@ Property / cites work: Q4873717 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Declarative Processing of Semistructured Web Data
@@ Property / cites work: Declarative Processing of Semistructured Web Data / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Logic Programming: From Theory to Curry
+Normal rank
@@ Property / cites work @@
+A proof theoretic approach to failure in functional logic programming
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank