Ordered Resolution for Coalition Logic (Q3455769)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ordered Resolution for Coalition Logic
scientific article

    Statements

    title
    Ordered Resolution for Coalition Logic (English)
    0 references
    author
    Ullrich Hustadt
    0 references
    Paul Gainer
    0 references
    Clare Dixon
    0 references
    Cláudia Nalon
    0 references
    Lan Zhang
    0 references
    publication date
    11 December 2015
    0 references
    Mathematics Subject Classification ID
    03B35
    0 references
    03B45
    0 references
    68T27
    0 references
    68T42
    0 references
    68V15
    0 references
    91A12
    0 references
    91A80
    0 references
    zbMATH DE Number
    6519941
    0 references
    describes a project that uses
    CLProver
    0 references
    TRP++
    0 references
    SPASS
    0 references
    TATL
    0 references
    VAMPIRE
    0 references
    OpenAlex ID
    W2242222976
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3455769&oldid=31653680"
    Powered by MediaWiki