TY - RPRT TI - From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups AU - Attila Egri-Nagy AU - Chrystopher L. Nehaniv PY - 2024 UR - https://arxiv.org/abs/2404.11923 ID - 2404.11923 ER -