Complete instantiation-based interpolation (Q5890659)

From MaRDI portal
scientific article; zbMATH DE number 6585211
Language Label Description Also known as
English
Complete instantiation-based interpolation
scientific article; zbMATH DE number 6585211

    Statements

    Complete instantiation-based interpolation (English)
    0 references
    0 references
    0 references
    25 May 2016
    0 references
    Craig interpolation
    0 references
    program verification
    0 references
    satisfiability modulo theories
    0 references
    local theory extensions
    0 references
    amalgamation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references