Completeness for Game Logic (Q6317283)

From MaRDI portal
scientific article; zbMATH DE number 900376307
Language Label Description Also known as
English
Completeness for Game Logic
scientific article; zbMATH DE number 900376307

    Statements

    publication date
    16 April 2019
    0 references
    arXiv ID
    1904.07691
    0 references
    arXiv classification
    cs.LO
    0 references
    math.LO
    0 references
    author
    Sebastian Enqvist
    0 references
    Helle Hvid Hansen
    0 references
    Clemens Kupke
    0 references
    Johannes Marti
    0 references
    Yde Venema
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6317283&oldid=35906846"
    Powered by MediaWiki