تقرير
On Lattices of Regular Sets of Natural Integers Closed under Decrementation
| العنوان: | On Lattices of Regular Sets of Natural Integers Closed under Decrementation |
|---|---|
| المؤلفون: | Cégielski, Patrick, Grigorieff, Serge, Guessarian, Irène |
| سنة النشر: | 2013 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Computer Science - Discrete Mathematics, Mathematics - Combinatorics |
| الوصف: | 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. |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/1310.1378 |
| رقم الأكسشن: | edsarx.1310.1378 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |