We study the class of symmetric [Formula: see text]-ary bands. These are semigroups text] such that is invariant under action permutations and idempotent, i.e., satisfies for all text]. first provide a structure theorem these bands extends classical (strong) semilattice decomposition certain classes introduce concept strong we show exactly semilattices extensions Abelian groups whose exponents ...

A q-ary maximum distance separable (MDS) code C with length n, dimension k over an alphabet A of size q is a set of qk codewords that are elements of An, such that the Hamming distance between two distinct codewords in C is at least n− k+1. Sets of mutually orthogonal Latin squares of orders q ≤ 9, corresponding to two-dimensional q-ary MDS codes, and q-ary one-error-correcting MDS codes for q ...

In general, an n-ary predicate (relation) describes the relationship among its arguments, and such that no argument has to be of a special mode. The uniication and the resolution (SLDNF-resolution) do capture this state of aaair. Hence, the aim of logic programming is in some point approximatively achieved if the system is able to automatically determine the descriptive mode of an n-ary predica...