Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic (Q5387851)

From MaRDI portal
scientific article; zbMATH DE number 5279536
Language Label Description Also known as
English
Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic
scientific article; zbMATH DE number 5279536

    Statements

    Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic (English)
    0 references
    0 references
    0 references
    0 references
    27 May 2008
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references