On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers

Françoise Point. On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers. Journal of Symbolic Logic, 65(3):1347-1374, 2000.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.