Concrete data structures as games

MaRDI QIDQ2849886zbMATH OpenFDO

Authors Andrea Schalk, José Juan Palacios-Perez

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000393

zbMATH Keywords

linear logicgamessequential computationconcrete data structures

Mathematics Subject Classification ID

Data structures (68P05) Games involving graphs (91A43) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1497810
• A Theory for Game Theories
• On the symmetry of sequentiality
• What's in a game?
• Games and strategies as event structures

Cited in

(5)

• An approach to innocent strategies as graphs
• On dialogue games and graph games
• Clowns to the left of me, jokers to the right (pearl)
• A graph abstract machine describing event structure composition
• Partial Orders, Event Structures and Linear Strategies

This page was built for publication: Concrete data structures as games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849886)