Buchberger's algorithm: A constraint-based completion procedure (Q5096314): Difference between revisions

@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational inference, canonical proofs, and proof orderings
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving for hierarchic first-order theories
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4693774
@@ Property / cites work: Q4693774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+History and basic features of the critical-pair/completion procedure
+Normal rank
@@ Property / cites work @@
+Q3957939
@@ Property / cites work: Q3957939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+A new method for the Boolean ring based theorem proving
+Normal rank