Complete reducibility of pseudovarieties

The notion of reducibility for a pseudovariety has been introduced as an abstract property which may be used to prove decidability results for various pseudovariety constructions. This paper is a survey of recent results establishing this and the stronger property of complete reducibility for specif...

ver descrição completa

Detalhes bibliográficos
Autor principal: Almeida, Jorge (author)
Outros Autores: Costa, José Carlos (author), Zeitoun, Marc (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2007
Assuntos:
Pseudovariety
Reducibility
Implicit signature
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Texto completo:http://hdl.handle.net/1822/36674
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36674
Descrição
Resumo:The notion of reducibility for a pseudovariety has been introduced as an abstract property which may be used to prove decidability results for various pseudovariety constructions. This paper is a survey of recent results establishing this and the stronger property of complete reducibility for specific pseudovarieties.

Registos relacionados