On the power pseudovariety
arXiv:1202.5511 · doi:10.5565/PUBLMAT_56212_08
Abstract
Some new semantic and syntactic characterizations of the members of the power pseudovariety are obtained. This leads in particular to new algorithms for deciding membership in .