TY  - RPRT
TI  - Undecidability of MM-QFAs Language Equivalence Problem
AU  - Tianrong Lin
PY  - 2023
UR  - https://arxiv.org/abs/1308.3301
ID  - 1308.3301
ER  -