Tero Harju, Juhani Karhumäki. Decidability of the Multiplicity Equivalence of Multitape Finite Automata. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 14-16 May 1990, Baltimore, Maryland, USA. pages 477-481, ACM, 1990.
@inproceedings{HarjuK90,
title = {Decidability of the Multiplicity Equivalence of Multitape Finite Automata},
author = {Tero Harju and Juhani Karhumäki},
year = {1990},
researchr = {https://researchr.org/publication/HarjuK90},
cites = {0},
citedby = {0},
pages = {477-481},
booktitle = {Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 14-16 May 1990, Baltimore, Maryland, USA},
publisher = {ACM},
}