scientific article; zbMATH DE number 3672369

MaRDI QIDQ3869404zbMATH OpenFDO

Authors Trevor Evans

Publication date 1980

zbMATH Keywords

decision problemsembedding problemsfinite separabilityfinitely presented algebrasnormal form theoremsresidual finitenessvarieties of algebrasword problems

Mathematics Subject Classification ID

Word problems (aspects of algebraic structures) (08A50) Free algebras (08B20) Residual properties and generalizations; residually finite groups (20E26) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05)

Cited in

(3)

• New decision algorithms for finitely presented commutative semigroups
• Deciding embeddability of partial groupoids into semigroups
• Free products with amalgamation of monoids

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3869404)