On the recursive decomposition ordering with lexicographical status and other related orderings (Q912609): Difference between revisions

@@ Property / describes a project that uses @@
+RRL
@@ Property / describes a project that uses: RRL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696498
@@ Property / cites work: Q3696498 / rank @@
+Normal rank
@@ Property / cites work @@
+On folk theorems
@@ Property / cites work: On folk theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659124
@@ Property / cites work: Q3659124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683533
@@ Property / cites work: Q3683533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336681
@@ Property / cites work: Q3336681 / rank @@
+Normal rank
@@ Property / cites work @@
+Path of subterms ordering and recursive decomposition ordering revisited
+Normal rank