Cadmium: An Implementation of ACD Term Rewriting (Q5504678): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+ACD Term Rewriting
@@ Property / cites work: ACD Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank