Algebra and geometry of rewriting
DOI10.1007/S10485-007-9083-6zbMATH Open1132.68036OpenAlexW1974288558MaRDI QIDQ2463397FDOQ2463397
Publication date: 6 December 2007
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-007-9083-6
Syzygies, resolutions, complexes in associative algebras (16E05) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Homological methods in group theory (20J05) Grammars and rewriting systems (68Q42) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Free semigroups, generators and relations, word problems (20M05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The algebra of oriented simplexes
- Complete rewriting systems and homology of monoid algebras
- Word problems and a homological finiteness condition for monoids
- Finite derivation type implies the homological finiteness condition \(FP_ 3\)
- A finiteness condition for rewriting systems
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- Termination orders for three-dimensional rewriting
- Higher-dimensional word problems with applications to equational logic
- Towards an algebraic theory of Boolean circuits.
- The Knuth-Bendix Completion Procedure and Thue Systems
- Homology of Gaussian groups.
- Constructing finitely presented monoids which have no finite complete presentation
- Church-Rooser property and homology of monoids
Cited In (10)
- A folk model structure on omega-cat
- Polygraphic resolutions and homology of monoids
- Title not available (Why is that?)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- Rewriting with Frobenius
- Directed algebraic topology, categories and higher categories
- A Topological Perspective on Interacting Algebraic Theories
- A combinatorial-topological shape category for polygraphs
- Geodesic rewriting systems and pregroups
- Polygraphs of finite derivation type
This page was built for publication: Algebra and geometry of rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463397)