On bases of identities for the ω-variety generated by locally testable semigroups
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/36669 |
Resumo: | Preprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216. |
id |
RCAP_d9717373cedc8f7812d448de3702726d |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/36669 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
On bases of identities for the ω-variety generated by locally testable semigroupsSemigroupPseudovarietyLocally testableOmega-termWord problemIdentity basisCiências Naturais::MatemáticasCiências Naturais::Ciências da Computação e da InformaçãoScience & TechnologyPreprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216.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.FCT, through the Centro de Matemática da Universidade do MinhoEuropean Community Fund FEDERElsevierUniversidade do MinhoCosta, José CarlosNogueira, Conceição20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/36669eng0304-397510.1016/j.tcs.2008.04.043The original publication is available at www.elsevier.com/locate/tcsinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:45:24Zoai:repositorium.sdum.uminho.pt:1822/36669Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:43:15.075886Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
On bases of identities for the ω-variety generated by locally testable semigroups |
title |
On bases of identities for the ω-variety generated by locally testable semigroups |
spellingShingle |
On bases of identities for the ω-variety generated by locally testable semigroups Costa, José Carlos Semigroup Pseudovariety Locally testable Omega-term Word problem Identity basis Ciências Naturais::Matemáticas Ciências Naturais::Ciências da Computação e da Informação Science & Technology |
title_short |
On bases of identities for the ω-variety generated by locally testable semigroups |
title_full |
On bases of identities for the ω-variety generated by locally testable semigroups |
title_fullStr |
On bases of identities for the ω-variety generated by locally testable semigroups |
title_full_unstemmed |
On bases of identities for the ω-variety generated by locally testable semigroups |
title_sort |
On bases of identities for the ω-variety generated by locally testable semigroups |
author |
Costa, José Carlos |
author_facet |
Costa, José Carlos Nogueira, Conceição |
author_role |
author |
author2 |
Nogueira, Conceição |
author2_role |
author |
dc.contributor.none.fl_str_mv |
Universidade do Minho |
dc.contributor.author.fl_str_mv |
Costa, José Carlos Nogueira, Conceição |
dc.subject.por.fl_str_mv |
Semigroup Pseudovariety Locally testable Omega-term Word problem Identity basis Ciências Naturais::Matemáticas Ciências Naturais::Ciências da Computação e da Informação Science & Technology |
topic |
Semigroup Pseudovariety Locally testable Omega-term Word problem Identity basis Ciências Naturais::Matemáticas Ciências Naturais::Ciências da Computação e da Informação Science & Technology |
description |
Preprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216. |
publishDate |
2008 |
dc.date.none.fl_str_mv |
2008 2008-01-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/36669 |
url |
http://hdl.handle.net/1822/36669 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
0304-3975 10.1016/j.tcs.2008.04.043 The original publication is available at www.elsevier.com/locate/tcs |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Elsevier |
publisher.none.fl_str_mv |
Elsevier |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799132988761440256 |