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

From MaRDI portal
scientific article; zbMATH DE number 1558189
Language Label Description Also known as
English
On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
scientific article; zbMATH DE number 1558189

    Statements

    On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (English)
    0 references
    0 references
    30 October 2001
    0 references
    decidability
    0 references
    sparse predicate
    0 references
    extensions of Presburger arithmetic with a unary predicate
    0 references
    quantifier elimination
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references