Deciding Innermost Loops (Q3522030): Difference between revisions

@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846997
@@ Property / cites work: Q4846997 / rank @@
+Normal rank
@@ Property / cites work @@
+On Proving Uniform Termination and Restricted Termination of Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Unification of infinite sets of terms schematized by primal grammars
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q3998014
@@ Property / cites work: Q3998014 / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
+Normal rank
@@ Property / cites work @@
+Termination of string rewriting proved automatically
+Normal rank
@@ Property / cites work @@
+Overlap closures do not suffice for termination of general term rewriting systems
+Normal rank