scientific article; zbMATH DE number 3672369

zbMATH Open0432.08004MaRDI QIDQ3869404FDOQ3869404

Authors: Trevor Evans 

Publication date: 1980

Title of this publication is not available (Why is that?)

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)