Please use this identifier to cite or link to this item:

TitleComplete reducibility of the pseudovariety LSl
Author(s)Costa, José Carlos
Nogueira, Conceição
System of equations
Implicit signature
Complete tameness
Local semillatice
Infinite word
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.
Publisher versionThe original publication is available at
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