ON THE DECIDABILITY OF THE MEMBERSHIP PROBLEM OF THE PSEUDOVARIETY J∨B

DOI10.1142/S0218196795000057zbMath0832.20081OpenAlexW2120369975MaRDI QIDQ4697877

Marc Zeitoun

Publication date: 22 February 1996

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196795000057

zbMATH Keywords

word problemimplicit operationspseudovarietiespseudoidentitiesfree bandsfinite bandsfinite \({\mathcal J}\)-trivial semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Quasivarieties (08C15)

Related Items

Pointlike sets and separation: a personal perspective ⋮ The pseudovariety $J$ is hyperdecidable