On the power pseudovariety $\mathbf{PCS}$
About
Some new semantic and syntactic characterizations of the members of the power pseudovariety $\mathbf{PCS}$ are obtained. This leads in particular to new algorithms for deciding membership in $\mathbf{PCS}$.
Related benchmarks
No related benchmarks have been indexed for this paper yet.