Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/21117
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Costa, José Carlos | - |
dc.contributor.author | Nogueira, Conceição | - |
dc.date.accessioned | 2012-12-03T16:01:51Z | - |
dc.date.available | 2012-12-03T16:01:51Z | - |
dc.date.issued | 2012-07-02 | - |
dc.date.submitted | 2011-04-21 | - |
dc.identifier.citation | Costa, J. C. and Nogueira, C., “Tameness of joins involving the pseudovariety of local semilattices”, International Journal of Algebra and Computation 7 (2012) 1250060 (35 pages). | - |
dc.identifier.issn | 0218-1967 | por |
dc.identifier.uri | https://hdl.handle.net/1822/21117 | - |
dc.description.abstract | In this paper we prove that, if V is a kappa-tame pseudovariety which satisfies the pseudoidentity xy^{\omega+1}z=xyz, then the pseudovariety join LSl v V is also kappa-tame. Here, LSl denotes the pseudovariety of local semilattices and kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power. As a consequence, we deduce that LSl v V is decidable. In particular the joins LSl v Ab, LSl v G, LSl v OCR and LSl v CR are decidable. | por |
dc.description.sponsorship | European Science Foundation (ESF) through the programme ``Automata: from Mathematics to Applications (AutoMathA)'' | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) under the project PEst-C/MAT/UI0013/2011. | por |
dc.description.sponsorship | FCT through the project PTDC/MAT/65481/2006, which was partly funded by the European Community Fund FEDER | por |
dc.description.sponsorship | European Regional Development Fund, through the programme COMPETE | por |
dc.language.iso | eng | por |
dc.publisher | World Scientific and Engineering Academy and Society (WSEAS) | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876-PPCDTI/65481/PT | - |
dc.rights | openAccess | por |
dc.subject | Semigroup | por |
dc.subject | Local semillatice | por |
dc.subject | Tame pseudovariety | por |
dc.subject | Join of pseudovarieties | por |
dc.subject | Pseudoword | por |
dc.subject | Graph equation system | por |
dc.title | Tameness of joins involving the pseudovariety of local semilattices | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | The original publication is available at www.worldscientific.com | por |
sdum.publicationstatus | Published | por |
oaire.citationStartPage | 1250060 | - |
oaire.citationEndPage | 1250095 | - |
oaire.citationIssue | 7 | por |
oaire.citationTitle | International Journal of Algebra and Computation | por |
oaire.citationVolume | 7 | - |
dc.identifier.doi | 10.1142/S0218196712500609 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | International Journal of Algebra and Computation | por |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
CostaNogueira_IJAC-2012.pdf | Documento principal | 320,31 kB | Adobe PDF | Ver/Abrir |