Buchberger's algorithm: The term rewriter's point of view (Q5204333): Difference between revisions

@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237373
@@ Property / cites work: Q4237373 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating Buchberger's algorithm by Knuth-Bendix completion
+Normal rank
@@ Property / cites work @@
+Completion for rewriting modulo a congruence
@@ Property / cites work: Completion for rewriting modulo a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992832
@@ Property / cites work: Q3992832 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank