Elimination of conditions (Q1974693): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1983900683
@@ Property / OpenAlex ID: W1983900683 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1974693