Abstract satisfaction (Q5408412)

From MaRDI portal
scientific article; zbMATH DE number 6282418
Language Label Description Also known as
English
Abstract satisfaction
scientific article; zbMATH DE number 6282418

    Statements

    Abstract satisfaction (English)
    0 references
    0 references
    0 references
    0 references
    10 April 2014
    0 references
    abstract interpretation
    0 references
    first-order logic
    0 references
    SMT
    0 references

    Identifiers

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