Algorithmic recognition of identities in one class of finitely presented semigroups
From MaRDI portal
Publication:753963
DOI10.1007/BF01164275zbMath0717.20042OpenAlexW1995693099MaRDI QIDQ753963
Publication date: 1990
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01164275
relationswordsgeneratorsfinitely presented semigroupsalgorithmically unsolvablecorepresentation graphsfree subsemigroupunrecognizable identity
Free semigroups, generators and relations, word problems (20M05) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25)
Cites Work
This page was built for publication: Algorithmic recognition of identities in one class of finitely presented semigroups