Reduction operators and completion of rewriting systems (Q2399863): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440635
@@ Property / cites work: Q4440635 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence and Koszulity
@@ Property / cites work: Confluence and Koszulity / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly confluent quadratic algebras
@@ Property / cites work: Weakly confluent quadratic algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Koszulity for nonquadratic algebras.
@@ Property / cites work: Koszulity for nonquadratic algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+The diamond lemma for ring theory
@@ Property / cites work: The diamond lemma for ring theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119334
@@ Property / cites work: Q4119334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+History and basic features of the critical-pair/completion procedure
+Normal rank
@@ Property / cites work @@
+Confluence algebras and acyclicity of the Koszul complex
+Normal rank
@@ Property / cites work @@
+Q3125202
@@ Property / cites work: Q3125202 / rank @@
+Normal rank
@@ Property / cites work @@
+A finite Thue system with decidable word problem and without equivalent finite canonical system
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of non-commutative quantum groups
@@ Property / cites work: Representations of non-commutative quantum groups / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to commutative and noncommutative Gröbner bases
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q5714460
@@ Property / cites work: Q5714460 / rank @@
+Normal rank
@@ Property / cites work @@
+Koszul Resolutions
@@ Property / cites work: Koszul Resolutions / rank @@
+Normal rank
@@ Property / cites work @@
+Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov
+Normal rank