Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-21551-7_29
+Normal rank
@@ Property / OpenAlex ID @@
+W1491955365
@@ Property / OpenAlex ID: W1491955365 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative reduction orderings
@@ Property / cites work: Associative-commutative reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809306
@@ Property / cites work: Q3809306 / 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 @@
+Equational formulae with membership constraints
@@ Property / cites work: Equational formulae with membership constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Any ground associative-commutative theory has a finite canonical system
+Normal rank
@@ Property / cites work @@
+AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
+Normal rank
@@ Property / cites work @@
+Improving associative path orderings
@@ Property / cites work: Improving associative path orderings / rank @@
+Normal rank