From Outermost to Context-Sensitive Rewriting (Q3636831): Difference between revisions

@@ Property / cites work @@
+Improving Context-Sensitive Dependency Pairs
@@ Property / cites work: Improving Context-Sensitive Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Matrix Interpretations for Proving Termination of Term Rewriting
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformational Approach to Prove Outermost Termination Automatically
+Normal rank
@@ Property / cites work @@
+Termination Competition (termCOMP 2015)
@@ Property / cites work: Termination Competition (termCOMP 2015) / rank @@
+Normal rank
@@ Property / cites work @@
+From Outermost Termination to Innermost Termination
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank