The equality problem for rational series with multiplicities in the tropical semiring is undecidable
Résumé
We show that the equality problem for rational series with multiplicities in the tropical semiring is undecidable.
Daniel Krob : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00017729
Soumis le : mardi 24 janvier 2006-23:53:43
Dernière modification le : vendredi 24 mars 2023-14:52:47
Archivage à long terme le : vendredi 3 septembre 2010-15:51:29