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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Created claim: DBLP publication ID (P1635): journals/tplp/HillBZ02, #quickstatements; #temporary_batch_1732532539753
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2178196758 / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/tplp/HillBZ02 / rank
 
Normal rank

Latest revision as of 12:05, 25 November 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