A fully syntactic AC-RPO. (Q1400715): Difference between revisions

@@ 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 / OpenAlex ID @@
+W4213157689
@@ Property / OpenAlex ID: W4213157689 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative reduction orderings
@@ Property / cites work: Associative-commutative reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783522
@@ Property / cites work: Q3783522 / rank @@
+Normal rank
@@ Property / cites work @@
+A total, ground path ordering for proving termination of AC-rewrite systems
+Normal rank
@@ Property / cites work @@
+Q4503901
@@ Property / cites work: Q4503901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976057
@@ Property / cites work: Q3976057 / rank @@
+Normal rank
@@ Property / cites work @@
+A total AC-compatible ordering based on RPO
@@ Property / cites work: A total AC-compatible ordering based on RPO / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938602
@@ Property / cites work: Q4938602 / rank @@
+Normal rank