Unification in commutative rings is not finitary (Q916417)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unification in commutative rings is not finitary
scientific article

    Statements

    Unification in commutative rings is not finitary (English)
    0 references
    1990
    0 references
    automatic theorem proving
    0 references
    unification
    0 references

    Identifiers