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

From MaRDI portal
Revision as of 10:27, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Quantifier-Free Interpolation of a Theory of Arrays
scientific article

    Statements

    title
    Quantifier-Free Interpolation of a Theory of Arrays (English)
    0 references
    author
    Roberto Bruttomesso
    0 references
    Silvio Ghilardi
    0 references
    Silvio Ranise
    0 references
    publication date
    16 May 2012
    0 references
    zbMATH DE Number
    6035669
    0 references
    zbMATH Keywords
    amalgamation
    0 references
    modular constraints
    0 references
    interpolating metarules
    0 references
    describes a project that uses
    FOCI
    0 references
    z3
    0 references
    OpenSMT
    0 references
    Princess
    0 references
    OpenAlex ID
    W2036325129
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2887061&oldid=37078153"
    Powered by MediaWiki