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...

Full description

Bibliographic Details
Main Author: Almeida, Jorge (author)
Other Authors: Costa, José Carlos (author), Zeitoun, Marc (author)
Format: conferencePaper
Language:eng
Published: 2007
Subjects:
Pseudovariety
Reducibility
Implicit signature
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Online Access:http://hdl.handle.net/1822/36674
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36674
Description
Summary: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.

Similar Items