Homotopy bases and finite derivation type for Schützenberger groups of monoids.
DOI10.1016/j.jsc.2012.05.006zbMath1266.20065arXiv1112.1634OpenAlexW2117238083MaRDI QIDQ1930158
António Malheiro, Stephen J. Pride, Robert D. Gray
Publication date: 10 January 2013
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1112.1634
finitely presented groupsSchützenberger groupsfinitely presented monoidsfinite derivation typehomotopy basescomplete rewriting systems
Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Grammars and rewriting systems (68Q42) Connections of semigroups with homological algebra and category theory (20M50)
Related Items (1)
This page was built for publication: Homotopy bases and finite derivation type for Schützenberger groups of monoids.