The order types of termination orderings on monadic terms, strings and multisets (Q4358058): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275551
@@ Property / full work available at URL: https://doi.org/10.2307/2275551 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1517512481
@@ Property / OpenAlex ID: W1517512481 / rank @@
+Normal rank
@@ Property / cites work @@
+A geometrical approach to multiset orderings
@@ Property / cites work: A geometrical approach to multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the Knuth Bendix ordering
@@ Property / cites work: Automating the Knuth Bendix ordering / 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 of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Total termination of term rewriting
@@ Property / cites work: Total termination of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying nilpotence
@@ Property / cites work: Verifying nilpotence / rank @@
+Normal rank