TY - RPRT TI - Asynchronous Multi-Tape Automata Intersection: Undecidability and Approximation AU - Carlo A. Furia PY - 2014 UR - https://arxiv.org/abs/1206.4860 ID - 1206.4860 ER -