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

@@ Property / describes a project that uses @@
+CARIBOO
@@ Property / describes a project that uses: CARIBOO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2133307358
@@ Property / OpenAlex ID: W2133307358 / rank @@
+Normal rank
@@ 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