Total termination of term rewriting (Q1912706): Difference between revisions

@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Total termination of term rewriting
@@ Property / cites work: Total termination of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537515
@@ Property / cites work: Q4537515 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs by multiset path orderings imply primitive recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5549798
@@ Property / cites work: Q5549798 / rank @@
+Normal rank
@@ Property / cites work @@
+The order types of termination orderings on monadic terms, strings and multisets
+Normal rank
@@ Property / cites work @@
+Modular properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank