On algebraic array theories (Q6192058)

From MaRDI portal
scientific article; zbMATH DE number 7803169
Language Label Description Also known as
English
On algebraic array theories
scientific article; zbMATH DE number 7803169

    Statements

    On algebraic array theories (English)
    0 references
    0 references
    0 references
    12 February 2024
    0 references
    decision procedures
    0 references
    satisfiability modulo theories
    0 references
    arrays
    0 references
    Feferman-Vaught
    0 references
    composition theorems
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers