Quantifier elimination by dependency sequents (Q479823)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantifier elimination by dependency sequents
scientific article

    Statements

    Quantifier elimination by dependency sequents (English)
    0 references
    0 references
    0 references
    5 December 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    quantifier elimination
    0 references
    resolution
    0 references
    model checking
    0 references
    SAT
    0 references
    dependency sequents
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references