A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
1994
International journal of algebra and computation
problem for Z-rational series over an alphabet with at least two letters is undecidable. To prove this last result, we show in fact that the decidability of the equality problem for Z is equivalent to the decidability of the local inequality problem for Z. Using this equivalence and a reduction to a 10th Hilbert problem, we prove then the undecidability of the equality problem for Z-rational series over an alphabet with at least two letters. Hence this allows us to obtain the undecidability of
doi:10.1142/s0218196794000063
fatcat:2kdnex362vav3gsmuobp72cesy