Logic programming with infinite sets (Q812390)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logic programming with infinite sets
scientific article

    Statements

    title
    Logic programming with infinite sets (English)
    0 references
    author
    Douglas Cenzer
    0 references
    Victor W. Marek
    0 references
    Jeffery B. Remmel
    0 references
    publication date
    23 January 2006
    0 references
    zbMATH Keywords
    nonmonotonic logic
    0 references
    logic programming
    0 references
    describes a project that uses
    ASSAT
    0 references
    Chaff
    0 references
    BerkMin
    0 references
    Smodels
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T27
    0 references
    03B70
    0 references
    68T30
    0 references
    zbMATH DE Number
    5000690
    0 references
    OpenAlex ID
    W2051739852
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q812390&oldid=38484420"
    Powered by MediaWiki