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

@@ Property / author @@
+Hans Zantema
@@ Property / author: Hans Zantema / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-21551-7_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1876432474
@@ Property / OpenAlex ID: W1876432474 / rank @@
+Normal rank
@@ 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 @@
+Termination proofs by multiset path orderings imply primitive recursive derivation lengths
+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 @@
+Extensions and comparison of simplification orderings
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting by interpretation
@@ Property / cites work: Termination of term rewriting by interpretation / rank @@
+Normal rank