Skip to Main content Skip to Navigation
Journal articles

On Lattices of Regular Sets of Natural Integers Closed under Decrementation

Patrick Cégielski 1 Serge Grigorieff 2 Guessarian Irene 3
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
3 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
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.
Keywords : Lattices lattices of subsets of N regular subsets of N closure properties
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01259673
Contributor : Irene Guessarian <>
Submitted on : Thursday, January 21, 2016 - 10:10:44 AM
Last modification on : Friday, April 10, 2020 - 5:03:20 PM
Document(s) archivé(s) le : Friday, November 11, 2016 - 1:43:52 PM

File

Vignette du document
CGG8.pdf
Files produced by the author(s)

Identifiers

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

Collections

CNRS | UNIV-PARIS7 | LACL | UPEC-UPEM | USPC | UPEC | UP-SCIENCES

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

182

Files downloads

196

Contact

Informations

CCSD