The equality problem for rational series with multiplicities in the tropical semiring is undecidable - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Algebra and Computation Année : 1994

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.
Fichier principal
Vignette du fichier
undetrop.pdf (246.65 Ko) Télécharger le fichier

Dates et versions

hal-00017323 , version 1 (19-01-2006)

Identifiants

  • HAL Id : hal-00017323 , version 1

Citer

Daniel Krob. The equality problem for rational series with multiplicities in the tropical semiring is undecidable. International Journal of Algebra and Computation, 1994, 4, (3), pp.405-425. ⟨hal-00017323⟩
52 Consultations
401 Téléchargements

Partager

Gmail Facebook X LinkedIn More