On dialogue games and graph games

DOI10.1016/j.entcs.2018.03.023OpenAlexW2800490716WikidataQ113317557 ScholiaQ113317557MaRDI QIDQ2130592

Paul-André Melliès, Clément Jacq

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.023

zbMATH Keywords

game semanticsarena games

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Sequential algorithms on concrete data structures
• Polarized games
• Asynchronous games. II: The true concurrency of innocence
• Sequential algorithms and strongly stable functions
• Locus Solum: From the rules of logic to the logic of rules
• On dialogue games and coherent strategies
• On the symmetry of sequentiality