ASP Solving for Expanding Universes (Q3449219)

From MaRDI portal
scientific article
Language Label Description Also known as
English
ASP Solving for Expanding Universes
scientific article

    Statements

    title
    ASP Solving for Expanding Universes (English)
    0 references
    author
    Martin Gebser
    0 references
    Tomi Janhunen
    0 references
    Holger Jost
    0 references
    Roland Kaminski
    0 references
    Torsten Schaub
    0 references
    publication date
    4 November 2015
    0 references
    zbMATH DE Number
    6504245
    0 references
    describes a project that uses
    ASPeRiX
    0 references
    ASSAT
    0 references
    OMiGA
    0 references
    Clingo
    0 references
    OpenAlex ID
    W2407553922
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3449219&oldid=32309666"
    Powered by MediaWiki