| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 439240 | Theoretical Computer Science | 2008 | 11 Pages |
Abstract
Let be the pseudovariety of local semilattices. It is well known that this pseudovariety coincides with the class of locally testable semigroups. In this paper, we exhibit an infinite basis of ω-identities for the ω-variety generated by and we show that this ω-variety is not finitely based.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
