1: \begin{abstract} We note that the deep results of Grunewald and Segal on algorithmic problems for arithmetic groups

2:   imply the decidability of several matrix equivalence problems involving

3:   poset-blocked matrices over $\Z$.

4:   Consequently, results of Eilers, Restorff, Ruiz and

5:   S{\o}rensen imply that isomorphism and stable isomorphism of unital

6:   graph   $C^*$-algebras (including the Cuntz-Krieger algebras) are

7:   decidable. One can also decide flow equivalence for shifts of finite type,

8:   and isomorphism of $\Z$-quiver representations (i.e.,

9:   finite diagrams of homomorphisms of

10:   finitely generated abelian groups).

11:   \end{abstract}

12: