Soundness, idempotence and commutativity of set-sharing (Q4452614): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q60501252, #quickstatements; #temporary_batch_1707216511891
Property / Wikidata QID
 
Property / Wikidata QID: Q60501252 / rank
 
Normal rank

Revision as of 14:37, 6 February 2024

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