Some consequences of a Fatou property of the tropical semiring
Résumé
We show in this paper that the tropical semiring (integers equiped with (max,+) operations) has the Fatou property and study the consequences of this property with respect to decidability properties.