Rewriting systems of Coxeter groups (Q1321036): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-4049(94)90019-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2019795166
@@ Property / OpenAlex ID: W2019795166 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Homology of Associative Algebras
@@ Property / cites work: On the Homology of Associative Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A finiteness property and an automatic structure for Coxeter groups
+Normal rank
@@ Property / cites work @@
+Q4693148
@@ Property / cites work: Q4693148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012139
@@ Property / cites work: Q4012139 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358944
@@ Property / cites work: Q3358944 / rank @@
+Normal rank
@@ Property / cites work @@
+Isoperimetric inequalities for soluble groups
@@ Property / cites work: Isoperimetric inequalities for soluble groups / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+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 @@
+Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
+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 @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Word problems and a homological finiteness condition for monoids
+Normal rank
@@ Property / cites work @@
+Q3961400
@@ Property / cites work: Q3961400 / rank @@
+Normal rank