Towards incorporating background theories into quantifier elimination (Q3643319)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards incorporating background theories into quantifier elimination
scientific article

    Statements

    Towards incorporating background theories into quantifier elimination (English)
    0 references
    0 references
    11 November 2009
    0 references
    quantifier elimination
    0 references
    higher-order logics
    0 references
    correspondence theory
    0 references

    Identifiers