Latticed Simulation Relations and Games (Q3510804)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Latticed Simulation Relations and Games
scientific article

    Statements

    title
    Latticed Simulation Relations and Games (English)
    0 references
    author
    Orna Kupferman
    0 references
    Yoad Lustig
    0 references
    publication date
    3 July 2008
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    91A05
    0 references
    91A80
    0 references
    zbMATH DE Number
    5297046
    0 references
    OpenAlex ID
    W1639511381
    0 references
    cites work
    Q4818796
    0 references
    Q2769604
    0 references
    Q4531751
    0 references
    Q2763963
    0 references
    Q2754106
    0 references
    Q3989936
    0 references
    Q4804892
    0 references
    Q4289327
    0 references
    Q4252730
    0 references
    Fair simulation
    0 references
    Q2851539
    0 references
    Lattice Automata
    0 references
    Borel determinacy
    0 references
    Q3694687
    0 references
    Q4131648
    0 references
    Q4544342
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3510804&oldid=35063116"
    Powered by MediaWiki