On the membership problem for pseudovarieties of commutative semigroups
From MaRDI portal
Publication:804712
DOI10.1007/BF02573404zbMath0728.20050MaRDI QIDQ804712
Publication date: 1991
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/135062
membership problem; polynomial time; finite basis of pseudoidentities; permutative pseudovariety; pseudovariety of finite commutative semigroups
68Q45: Formal languages and automata
20M07: Varieties and pseudovarieties of semigroups
20M14: Commutative semigroups
20M05: Free semigroups, generators and relations, word problems
08C15: Quasivarieties
Related Items
Finite quasivarieties and self-referential conditions, The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
Cites Work