Discovery of invariant equalities in programs over data fields (Q1311622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Discovery of invariant equalities in programs over data fields
scientific article

    Statements

    Discovery of invariant equalities in programs over data fields (English)
    0 references
    0 references
    1 February 1994
    0 references
    invariant polynomial equalities
    0 references

    Identifiers