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

From MaRDI portal
Revision as of 10:51, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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