No label defined (Q4217930)

From MaRDI portal
Revision as of 14:34, 6 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 1222407
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1222407

    Statements

    0 references
    0 references
    0 references
    11 November 1998
    0 references
    abstract interpretations
    0 references
    abstract computations
    0 references
    completeness
    0 references
    abstract domain
    0 references
    least complete extension
    0 references
    observation completeness
    0 references
    quantales
    0 references
    models of linear logic
    0 references
    bottom-up semantics
    0 references
    logic programs
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references