scientific article; zbMATH DE number 1948178
From MaRDI portal
Publication:4411839
zbMath1020.03059MaRDI QIDQ4411839
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710427.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items (9)
Figures of dialogue: a view from ludics ⋮ An approach to innocent strategies as graphs ⋮ Dialogues in Ludics ⋮ Unnamed Item ⋮ On the Meaning of Logical Completeness ⋮ Towards Ludics Programming: Interactive Proof Search ⋮ A Graph Abstract Machine Describing Event Structure Composition ⋮ Unnamed Item ⋮ Interactive observability in Ludics: the geometry of tests
This page was built for publication:
