Algebra and geometry of rewriting (Q2463397): Difference between revisions

@@ Property / cites work @@
+Q3708977
@@ Property / cites work: Q3708977 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+Finite derivation type implies the homological finiteness condition \(FP_ 3\)
+Normal rank
@@ Property / cites work @@
+For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)
+Normal rank
@@ Property / cites work @@
+Homology of Gaussian groups.
@@ Property / cites work: Homology of Gaussian groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orders for three-dimensional rewriting
+Normal rank
@@ Property / cites work @@
+Constructing finitely presented monoids which have no finite complete presentation
+Normal rank
@@ Property / cites work @@
+The Knuth-Bendix Completion Procedure and Thue Systems
+Normal rank
@@ Property / cites work @@
+A finite Thue system with decidable word problem and without equivalent finite canonical system
+Normal rank
@@ Property / cites work @@
+Complete rewriting systems and homology of monoid algebras
+Normal rank
@@ Property / cites work @@
+A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rooser property and homology of monoids
@@ Property / cites work: Church-Rooser property and homology of monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707051
@@ Property / cites work: Q4707051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978986
@@ Property / cites work: Q3978986 / rank @@
+Normal rank
@@ Property / cites work @@
+A finiteness condition for rewriting systems
@@ Property / cites work: A finiteness condition for rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522742
@@ Property / cites work: Q5522742 / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and a homological finiteness condition for monoids
+Normal rank
@@ Property / cites work @@
+The algebra of oriented simplexes
@@ Property / cites work: The algebra of oriented simplexes / rank @@
+Normal rank