The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable.

Daniel Krob

Browse the full ICALP paper archive.