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

TitleComplete reducibility of the pseudovariety LSl
Author(s)Costa, José Carlos
Nogueira, Conceição
KeywordsSemigroup
Pseudovariety
System of equations
Implicit signature
Complete tameness
Local semillatice
Infinite word
Pseudoword
complete reducibility
Issue dateMar-2009
PublisherWorld Scientific and Engineering Academy and Society (WSEAS)
JournalInternational Journal of Algebra and Computation
Abstract(s)In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.
TypeArticle
URIhttp://hdl.handle.net/1822/36664
DOI10.1142/S021819670900507X
ISSN0218-1967
Publisher versionThe original publication is available at www.worldscientific.com/toc/ijac/19/02
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 
CostaNogueira-IJAC.pdf426,61 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