Linear equations for unordered data vectors in $[D]^k\to{}Z^d$

Piotr Hofman, Jakub Rózycki. Linear equations for unordered data vectors in $[D]^k\to{}Z^d$. Logical Methods in Computer Science, 18(4), 2022. [doi]

Abstract

Abstract is missing.