A Practical Decision Procedure for Arithmetic with Function Symbols (Q3960818)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Practical Decision Procedure for Arithmetic with Function Symbols
scientific article

    Statements

    A Practical Decision Procedure for Arithmetic with Function Symbols (English)
    0 references
    0 references
    0 references
    1979
    0 references
    0 references
    extension of quantifier-free Presburger arithmetic that permits arbitrary uninterpreted predicate and function symbols
    0 references
    program verification
    0 references
    semantics of array operators
    0 references
    0 references