Soundness, idempotence and commutativity of set-sharing (Q4452614)

From MaRDI portal
Revision as of 14:37, 6 February 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q60501252, #quickstatements; #temporary_batch_1707216511891)
scientific article; zbMATH DE number 2048591
Language Label Description Also known as
English
Soundness, idempotence and commutativity of set-sharing
scientific article; zbMATH DE number 2048591

    Statements

    Soundness, idempotence and commutativity of set-sharing (English)
    0 references
    0 references
    0 references
    0 references
    1 March 2004
    0 references
    Abstract interpretation
    0 references
    logic programming
    0 references
    occurs-check
    0 references
    rational trees
    0 references
    set-sharing
    0 references

    Identifiers