Covering and separation for logical fragments with modular predicates

Thomas Place, Varun Ramanathan, Pascal Weil

For every class $\mathcal{C}$ of word languages, one may associate a decision problem called $\mathcal{C}$-separation. Given two regular languages, it asks whether there exists a t…