Transformation for Refining Unraveled Conditional Term Rewriting Systems (Q2866802): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.02.048
+Normal rank
@@ Property / OpenAlex ID @@
+W2081679718
@@ Property / OpenAlex ID: W2081679718 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844056
@@ Property / cites work: Q2844056 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: Transformational methods revisited
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Equivalent Elimination of Conditions
+Normal rank
@@ Property / cites work @@
+Q3819991
@@ Property / cites work: Q3819991 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of conditions
@@ Property / cites work: Elimination of conditions / rank @@
+Normal rank