Decidability and tameness in the theory of finite semigroups.

zbMath1160.20056MaRDI QIDQ949087

Jorge Almeida

Publication date: 20 October 2008

Published in: Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

semidirect productspseudovarieties of semigroupstamenessMal'tsev productsdecidability of membershipprofinite semigroupsvarieties of finite semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items

Semidirect product with an order-computable pseudovariety and tameness.