Dataset - CKAN

On Lattices of Regular Sets of Natural Integers Closed under Decrementation

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...
- HTML

You can also access this registry using the API (see API Docs).