1 paper
Shigeki Akiyama, Bo Tan, Hisatoshi Yuasa
We complete statement and proof for B. Mossé's unilateral recognizability theorem. We also provide an algorithm for deciding the unilateral non-recognizability of a given primitive…