La finitude des représentations linéaires des semi-groupes est decidable
scientific article; zbMATH DE number 3582432