Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings (Q1275014): Difference between revisions

@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Prefix-rewriting on context-free groups
@@ Property / cites work: Prefix-rewriting on context-free groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234299
@@ Property / cites work: Q4234299 / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations of groups and monoids
@@ Property / cites work: Presentations of groups and monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On a special monoid with a single defining relation
+Normal rank
@@ Property / cites work @@
+A note on a special one-rule semi-Thue system
@@ Property / cites work: A note on a special one-rule semi-Thue system / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040881
@@ Property / cites work: Q4040881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3033866
@@ Property / cites work: Q3033866 / 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 @@
+Non-commutative Gröbner bases in algebras of solvable type
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing presentations for subgroups of polycyclic groups and of context-free groups
+Normal rank
@@ Property / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+About the descriptive power of certain classes of finite string-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4349578
@@ Property / cites work: Q4349578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234206
@@ Property / cites work: Q4234206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225062
@@ Property / cites work: Q4225062 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Gröbner basis algorithms to polycyclic group rings
+Normal rank
@@ Property / cites work @@
+A generalization of Gröbner basis algorithms to nilpotent group rings
+Normal rank
@@ Property / cites work @@
+Q4135772
@@ Property / cites work: Q4135772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3123636
@@ Property / cites work: Q3123636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012134
@@ Property / cites work: Q4012134 / rank @@
+Normal rank
@@ Property / cites work @@
+Analogs of Gröbner bases in polynomial rings over a ring
+Normal rank
@@ Property / cites work @@
+Q3808248
@@ Property / cites work: Q3808248 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to commutative and noncommutative Gröbner bases
+Normal rank
@@ Property / cites work @@
+Undecidable questions related to Church-Rosser Thue systems
+Normal rank
@@ Property / cites work @@
+Q5203133
@@ Property / cites work: Q5203133 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for constructing Gröbner and free Schreier bases in free group algebras
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
+Normal rank
@@ Property / cites work @@
+Q4285784
@@ Property / cites work: Q4285784 / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and a homological finiteness condition for monoids
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(98)00077-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1981064965
@@ Property / OpenAlex ID: W1981064965 / rank @@
+Normal rank