Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00870130
Contributor : Irene Guessarian <>
Submitted on : Saturday, October 5, 2013 - 1:32:55 PM
Last modification on : Saturday, March 28, 2020 - 2:14:18 AM

Links full text

Identifiers

Collections

Citation

Patrick Cegielski, Serge Grigorieff, Irene Guessarian. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. 2013. ⟨hal-00870130⟩

Share

Metrics

Record views

156