scientific article

From MaRDI portal

Revision as of 19:22, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2849886

Jump to:navigation, search

zbMath1272.03158MaRDI QIDQ2849886

José Juan Palacios-Perez, Andrea Schalk

Publication date: 20 September 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logic concrete data structures games sequential computation

Mathematics Subject Classification ID

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

Related Items (4)

On dialogue games and graph games ⋮ An approach to innocent strategies as graphs ⋮ Partial Orders, Event Structures and Linear Strategies ⋮ A Graph Abstract Machine Describing Event Structure Composition

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2849886&oldid=15780305"