Compilation of set terms in the logic data language (LDL) (Q3992237)

From MaRDI portal
Revision as of 00:39, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Compilation of set terms in the logic data language (LDL)
scientific article

    Statements

    title
    Compilation of set terms in the logic data language (LDL) (English)
    0 references
    author
    Oded Shmueli
    0 references
    Shalom Tsur
    0 references
    Carlo Zaniolo
    0 references
    publication date
    13 August 1992
    0 references
    Mathematics Subject Classification ID
    68N20
    0 references
    68N17
    0 references
    68T99
    0 references
    68N15
    0 references
    zbMATH DE Number
    39283
    0 references
    zbMATH Keywords
    Horn-clause logic-programming language
    0 references
    set-term matching
    0 references
    Horn-clause programs
    0 references
    rewriting
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3992237&oldid=25449112"
    Powered by MediaWiki