Semantics for positive/negative conditional rewrite systems (Q5881187): Difference between revisions

@@ Property / cites work @@
+Q3995129
@@ Property / cites work: Q3995129 / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
@@ Property / cites work @@
+Q3817657
@@ Property / cites work: Q3817657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructor-based approach for positive/negative-conditional equational specifications
+Normal rank