Default rules for Curry (Q4593082): Difference between revisions

@@ Property / describes a project that uses @@
+Curry
@@ Property / describes a project that uses: Curry / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01352
@@ Property / arXiv ID: 1605.01352 / rank @@
+Normal rank
@@ 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
@@ Property / OpenAlex ID @@
+W3104255688
@@ Property / OpenAlex ID: W3104255688 / rank @@
+Normal rank