On Lattices of Regular Sets of Natural Integers Closed under Decrementation - Archive ouverte HAL
Article Dans Une Revue Information Processing Letters Année : 2014

On Lattices of Regular Sets of Natural Integers Closed under Decrementation

Résumé

We consider lattices of regular sets of non negative integers, i.e. of sets definable in Presbuger arithmetic. We prove that if such a lattice is closed under decrement then it is also closed under many other functions: quotients by an integer, roots, etc.
Fichier principal
Vignette du fichier
CGG8.pdf (281.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01259673 , version 1 (21-01-2016)

Identifiants

Citer

Patrick Cégielski, Serge Grigorieff, Irene Guessarian. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. Information Processing Letters, 2014, 114 (4), pp.197-202. ⟨10.1016/j.ipl.2013.11.013⟩. ⟨hal-01259673⟩
209 Consultations
79 Téléchargements

Altmetric

Partager

More