On Lattices of Regular Sets of Natural Integers Closed under Decrementation

Abstract : 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.
Type de document :
Article dans une revue
Information Processing Letters, Elsevier, 2014, 114, pp.197-202
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01259673
Contributeur : Irene Guessarian <>
Soumis le : jeudi 21 janvier 2016 - 10:10:44
Dernière modification le : jeudi 13 décembre 2018 - 15:26:38
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 13:43:52

Fichier

CGG8.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01259673, version 1
  • ARXIV : 1310.1378

Collections

Citation

Patrick Cégielski, Serge Grigorieff, Guessarian Irene. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. Information Processing Letters, Elsevier, 2014, 114, pp.197-202. 〈hal-01259673〉

Partager

Métriques

Consultations de la notice

90

Téléchargements de fichiers

44