A total AC-compatible ordering based on RPO (Q673623): 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 / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)00276-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1996023831
@@ Property / OpenAlex ID: W1996023831 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative reduction orderings
@@ Property / cites work: Associative-commutative reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264723
@@ Property / cites work: Q4264723 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+SOLVING SYMBOLIC ORDERING CONSTRAINTS
@@ Property / cites work: SOLVING SYMBOLIC ORDERING CONSTRAINTS / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of the associative path ordering to a chain of associative commutative symbols
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783522
@@ Property / cites work: Q3783522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036585
@@ Property / cites work: Q4036585 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976057
@@ Property / cites work: Q3976057 / rank @@
+Normal rank
@@ Property / cites work @@
+On ground AC-completion
@@ Property / cites work: On ground AC-completion / rank @@
+Normal rank
@@ Property / cites work @@
+Any ground associative-commutative theory has a finite canonical system
+Normal rank
@@ Property / cites work @@
+Q4264721
@@ Property / cites work: Q4264721 / rank @@
+Normal rank
@@ Property / cites work @@
+AC-superposition with constraints: No AC-unifiers needed
+Normal rank
@@ Property / cites work @@
+A precedence-based total AC-compatible ordering
@@ Property / cites work: A precedence-based total AC-compatible ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4279086
@@ Property / cites work: Q4279086 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:673623