scientific article; zbMATH DE number 3672369

MaRDI QIDQ3869404zbMATH OpenFDO

Authors Trevor Evans

Publication date 1980

zbMATH Keywords

embedding problemsdecision problemsnormal form theoremsresidual finitenessvarieties of algebrasfinitely presented algebrasword problemsfinite separability

Mathematics Subject Classification ID

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

Cited in

(3)

• Deciding embeddability of partial groupoids into semigroups
• New decision algorithms for finitely presented commutative 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)