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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55719-9_90
+Normal rank
@@ Property / OpenAlex ID @@
+W1604132856
@@ Property / OpenAlex ID: W1604132856 / rank @@
+Normal rank
@@ 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