Paavo Turakainen
The Equivalence of DGSM Replications on Q-Rational Languages is Decidable
ICALP, 1988.
@inproceedings{ICALP-1988-Turakainen, author = "Paavo Turakainen", booktitle = "{Proceedings of the 15th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-19488-6_148", isbn = "3-540-19488-6", pages = "654--666", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Equivalence of DGSM Replications on Q-Rational Languages is Decidable}", volume = 317, year = 1988, }