Daniel Krob
The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable
ICALP, 1992.
@inproceedings{ICALP-1992-Krob, author = "Daniel Krob", booktitle = "{Proceedings of the 19th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-55719-9_67", isbn = "3-540-55719-9", pages = "101--112", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable}", volume = 623, year = 1992, }