On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers

From MaRDI portal
Publication:4527928