scientific article
From MaRDI portal
Publication:3869404
zbMath0432.08004MaRDI QIDQ3869404
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decision problemsembedding problemsfinitely presented algebrasvarieties of algebrasnormal form theoremsresidual finitenessword problemsfinite separability
Free semigroups, generators and relations, word problems (20M05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Residual properties and generalizations; residually finite groups (20E26) Free algebras (08B20) Word problems (aspects of algebraic structures) (08A50)
Related Items
Free products with amalgamation of monoids ⋮ New decision algorithms for finitely presented commutative semigroups ⋮ Deciding embeddability of partial groupoids into semigroups
