Reasoning About Substructures and Games (Q2957764)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reasoning About Substructures and Games
scientific article

    Statements

    title
    Reasoning About Substructures and Games (English)
    0 references
    author
    Massimo Benerecetti
    0 references
    Fabio Mogavero
    0 references
    Aniello Murano
    0 references
    publication date
    30 January 2017
    0 references
    cites work
    Strategy Logic
    0 references
    Q4722045
    0 references
    Q3768883
    0 references
    Q5339289
    0 references
    Q4809076
    0 references
    Module checking
    0 references
    Q2908844
    0 references
    Q3576736
    0 references
    Q4205072
    0 references
    Q3940830
    0 references
    Q2844043
    0 references
    Q4131648
    0 references

    Identifiers

    DOI
    10.1145/2757286
    0 references
    Mathematics Subject Classification ID
    03B44
    0 references
    03B25
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6678794
    0 references
    OpenAlex ID
    W2271301048
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2957764&oldid=36302865"
    Powered by MediaWiki