Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/36669

TitleOn bases of identities for the ω-variety generated by locally testable semigroups
Author(s)Costa, José Carlos
Nogueira, Conceição
KeywordsSemigroup
Pseudovariety
Locally testable
Omega-term
Word problem
Identity basis
Issue date2008
PublisherElsevier
JournalTheoretical Computer Science
Abstract(s)Let LSl 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 omega-identities for the omega-variety generated by LSl and we show that this omega-variety is not finitely based.
TypeArticle
DescriptionPreprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216.
URIhttp://hdl.handle.net/1822/36669
DOI10.1016/j.tcs.2008.04.043
ISSN0304-3975
Publisher versionThe original publication is available at www.elsevier.com/locate/tcs
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat 
Costa-Nogueira-TCS.pdf208,79 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID