Quantifier-Free Interpolation of a Theory of Arrays (Q2887061)

From MaRDI portal
Revision as of 23:10, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Quantifier-Free Interpolation of a Theory of Arrays
scientific article

    Statements

    Quantifier-Free Interpolation of a Theory of Arrays (English)
    0 references
    0 references
    0 references
    0 references
    16 May 2012
    0 references
    amalgamation
    0 references
    modular constraints
    0 references
    interpolating metarules
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers