Elimination of conditions (Q1974693): Difference between revisions

@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q3217583
@@ Property / cites work: Q3217583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750994
@@ Property / cites work: Q3750994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q3210187
@@ Property / cites work: Q3210187 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank