The Derivational Complexity Induced by the Dependency Pair Method (Q5902127): Difference between revisions

@@ Property / cites work @@
+Arctic Termination ...Below Zero
@@ Property / cites work: Arctic Termination ...Below Zero / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Derivational Complexity of Knuth-Bendix Orders Revisited
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Complexity, Graphs, and the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Automating the dependency pair method
@@ Property / cites work: Automating the dependency pair method / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Termination proofs by multiset path orderings imply primitive recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Derivation lengths and order types of Knuth--Bendix orders
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+The Derivational Complexity Induced by the Dependency Pair Method
+Normal rank