Separable discrete functions: recognition and sufficient conditions

Endre Boros, Ondrej Cepek, Vladimir Gurvich

A discrete function of $n$ variables is a mapping $g:X_1\times \dots \times X_n\to A$, where $X_1,\dots ,X_n$, and $A$ are arbitrary finite sets. Function $g$ is cal…