Superposition theorem proving for abelian groups represented as integer modules (Q1275020): Difference between revisions

@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Basic paramodulation
@@ Property / cites work: Basic paramodulation / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+AC-complete unification and its application to theorem proving
+Normal rank
@@ Property / cites work @@
+Q3835049
@@ Property / cites work: Q3835049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957939
@@ Property / cites work: Q3957939 / rank @@
+Normal rank
@@ Property / cites work @@
+Buchberger's algorithm: The term rewriter's point of view
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving in cancellative abelian monoids (extended abstract)
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q3338229
@@ Property / cites work: Q3338229 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalized rewriting: An alternative to rewriting modulo a set of equations
+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 @@
+Complete Sets of Reductions for Some Equational Theories
+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 @@
+Associative-commutative deduction with constraints
+Normal rank
@@ Property / cites work @@
+Q3801104
@@ Property / cites work: Q3801104 / rank @@
+Normal rank