TY  - RPRT
TI  - Decidability of irreducible tree shifts of finite type
AU  - Jung-Chao Ban
AU  - Chih-Hung Chang
AU  - Nai-Zhu Huang
AU  - Yu-Liang Wu
PY  - 2019
DO  - 10.1007/s10955-019-02407-z
UR  - https://arxiv.org/abs/1910.13846
ID  - 1910.13846
ER  -