Tameness of the pseudovariety LS1

Detalhes bibliográficos
Autor(a) principal: Costa, José Carlos
Data de Publicação: 2004
Outros Autores: Teixeira, M. L.
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/36666
Resumo: The notion of k-tameness of a pseudovariety was introduced by Almeida and Steinberg and is a strong property which implies decidability of pseudovarieties. In this paper we prove that the pseudovariety LSl, of local semilattices, is k-tame.
id RCAP_25bd595b4dc6df0cab570ea4ed3e7ad5
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/36666
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 Tameness of the pseudovariety LS1SemigroupPseudovarietyImplicit operationTamenessLocal semillaticeInfinite wordGraph labellinggraph labelingCiências Naturais::MatemáticasCiências Naturais::Ciências da Computação e da InformaçãoScience & TechnologyThe notion of k-tameness of a pseudovariety was introduced by Almeida and Steinberg and is a strong property which implies decidability of pseudovarieties. In this paper we prove that the pseudovariety LSl, of local semilattices, is k-tame.This work was supported, in part, by FCT through the Centro de Matemática da Universidade do Minho, and by the FCT and POCTI approved project POCTI/32817/MAT/2000 which is comparticipated by the European Community Fund FEDER.World Scientific and Engineering Academy and Society (WSEAS)Universidade do MinhoCosta, José CarlosTeixeira, M. L.20042004-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/36666eng0218-196710.1142/S0218196704001955The original publication is available at www.worldscientific.cominfo: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:22:17Zoai:repositorium.sdum.uminho.pt:1822/36666Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:15:45.234622Repositó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 Tameness of the pseudovariety LS1
title Tameness of the pseudovariety LS1
spellingShingle Tameness of the pseudovariety LS1
Costa, José Carlos
Semigroup
Pseudovariety
Implicit operation
Tameness
Local semillatice
Infinite word
Graph labelling
graph labeling
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
title_short Tameness of the pseudovariety LS1
title_full Tameness of the pseudovariety LS1
title_fullStr Tameness of the pseudovariety LS1
title_full_unstemmed Tameness of the pseudovariety LS1
title_sort Tameness of the pseudovariety LS1
author Costa, José Carlos
author_facet Costa, José Carlos
Teixeira, M. L.
author_role author
author2 Teixeira, M. L.
author2_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Costa, José Carlos
Teixeira, M. L.
dc.subject.por.fl_str_mv Semigroup
Pseudovariety
Implicit operation
Tameness
Local semillatice
Infinite word
Graph labelling
graph labeling
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
topic Semigroup
Pseudovariety
Implicit operation
Tameness
Local semillatice
Infinite word
Graph labelling
graph labeling
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
description The notion of k-tameness of a pseudovariety was introduced by Almeida and Steinberg and is a strong property which implies decidability of pseudovarieties. In this paper we prove that the pseudovariety LSl, of local semilattices, is k-tame.
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-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/36666
url http://hdl.handle.net/1822/36666
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0218-1967
10.1142/S0218196704001955
The original publication is available at www.worldscientific.com
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 World Scientific and Engineering Academy and Society (WSEAS)
publisher.none.fl_str_mv World Scientific and Engineering Academy and Society (WSEAS)
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_ 1799132604313632768

Registros relacionados