HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01259673
Contributor : Irene Guessarian Connect in order to contact the contributor
Submitted on : Thursday, January 21, 2016 - 10:10:44 AM
Last modification on : Friday, November 19, 2021 - 6:06:03 PM
Long-term archiving on: : Friday, November 11, 2016 - 1:43:52 PM

File

CGG8.pdf
Files produced by the author(s)

Identifiers

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

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⟩

Share

Metrics

Record views

70

Files downloads

47