Extending reduction orderings to ACU-compatible reduction orderings (Q293311): Difference between revisions

@@ Property / cites work @@
+Complete sets of reductions modulo associativity, commutativity and identity
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving in cancellative abelian monoids (extended abstract)
+Normal rank
@@ Property / cites work @@
+Termination and completion modulo associativity, commutativity and identity
+Normal rank
@@ Property / cites work @@
+Normalized rewriting: An alternative to rewriting modulo a set of equations
+Normal rank
@@ Property / cites work @@
+Transforming termination by self-labelling
@@ Property / cites work: Transforming termination by self-labelling / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Superposition theorem proving for abelian groups represented as integer modules
+Normal rank
@@ Property / cites work @@
+Cancellative Abelian monoids and related structures in refutational theorem proving. II
+Normal rank
@@ Property / cites work @@
+Q4249895
@@ Property / cites work: Q4249895 / rank @@
+Normal rank