On the algorithmic decidability of the second-type annihilation predicate for varieties of semigroups
From MaRDI portal
Publication:1759565
DOI10.3103/S1063454110040072zbMath1251.68145MaRDI QIDQ1759565
Publication date: 21 November 2012
Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)
Varieties and pseudovarieties of semigroups (20M07) Algebraic theory of languages and automata (68Q70)
Cites Work
This page was built for publication: On the algorithmic decidability of the second-type annihilation predicate for varieties of semigroups