A game-semantic model of computation (Q2319854)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A game-semantic model of computation
scientific article

    Statements

    title
    A game-semantic model of computation (English)
    0 references
    author
    Norihiro Yamada
    0 references
    publication date
    20 August 2019
    0 references
    cites work
    Q4225147
    0 references
    Q4222034
    0 references
    Q3221960
    0 references
    Q3893911
    0 references
    Static Analysis
    0 references
    Q4342083
    0 references
    Q3916562
    0 references
    Slot games
    0 references
    Q3203017
    0 references
    Q5477354
    0 references
    Linear logic
    0 references
    Q4204146
    0 references
    Q4842981
    0 references
    Q4288818
    0 references
    Q4506483
    0 references
    Q4225150
    0 references
    Q3900048
    0 references
    Q3689176
    0 references
    Q3748274
    0 references
    Theory of computation.
    0 references
    Q4344149
    0 references
    Polarized games
    0 references
    Q4231031
    0 references
    Q4247024
    0 references
    Q4501156
    0 references
    Q5573961
    0 references
    Q5685626
    0 references
    Q5537599
    0 references
    Q3392275
    0 references
    Q4215635
    0 references
    Q4485693
    0 references
    Q3141916
    0 references
    Dynamic game semantics
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q05
    0 references
    03D10
    0 references
    03D75
    0 references
    68Q55
    0 references
    zbMATH DE Number
    7096500
    0 references
    OpenAlex ID
    W2901297759
    0 references
    arXiv ID
    1702.05073
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2319854&oldid=39007975"
    Powered by MediaWiki