Polygraphs of finite derivation type (Q3130298): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2587
@@ Property / arXiv ID: 1402.2587 / 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 @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012139
@@ Property / cites work: Q4012139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3945247
@@ Property / cites work: Q3945247 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+A Monoid which is Right             <i>FP</i>             <sub>∞</sub>             but not Left             <i>FP</i>             <sub>1</sub>
+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 @@
+Coherent presentations of Artin monoids
@@ Property / cites work: Coherent presentations of Artin monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358944
@@ Property / cites work: Q3358944 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional categories with finite derivation type
+Normal rank
@@ Property / cites work @@
+Identities among relations for higher-dimensional rewriting systems
+Normal rank
@@ Property / cites work @@
+Coherence in monoidal track categories
@@ Property / cites work: Coherence in monoidal track categories / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional normalisation strategies for acyclicity
+Normal rank
@@ Property / cites work @@
+Q2958386
@@ Property / cites work: Q2958386 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orders for three-dimensional rewriting
+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 @@
+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 @@
+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 @@
+Algebra and geometry of rewriting
@@ Property / cites work: Algebra and geometry of rewriting / 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 @@
+Combinatorial group theory.
@@ Property / cites work: Combinatorial group theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5783653
@@ Property / cites work: Q5783653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5786283
@@ Property / cites work: Q5786283 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITENESS CONDITIONS FOR REWRITING SYSTEMS
@@ Property / cites work: FINITENESS CONDITIONS FOR REWRITING SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707051
@@ Property / cites work: Q4707051 / rank @@
+Normal rank
@@ Property / cites work @@
+Cofibrant objects among higher-dimensional categories
+Normal rank
@@ Property / cites work @@
+About the rewriting systems produced by the Knuth-Bendix completion algorithm
+Normal rank
@@ Property / cites work @@
+Computing Critical Pairs in 2-Dimensional Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS
@@ Property / cites work: LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and a homological finiteness condition for monoids
+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 @@
+Limits indexed by category-valued 2-functors
@@ Property / cites work: Limits indexed by category-valued 2-functors / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of oriented simplexes
@@ Property / cites work: The algebra of oriented simplexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank