Simulating Buchberger's algorithm by Knuth-Bendix completion (Q5055776): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-53904-2_112
+Normal rank
@@ Property / OpenAlex ID @@
+W1495940585
@@ Property / OpenAlex ID: W1495940585 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical pair criteria for completion
@@ Property / cites work: Critical pair criteria for completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957939
@@ Property / cites work: Q3957939 / 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 @@
+A note on simplification orderings
@@ Property / cites work: A note on simplification orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+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 @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703293
@@ Property / cites work: Q3703293 / 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
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5055776