scientific article
From MaRDI portal
Publication:2852368
zbMath1273.03166MaRDI QIDQ2852368
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600209X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (5)
A game semantics for disjunctive logic programming ⋮ Proof and refutation in MALL as a game ⋮ Least and Greatest Fixed Points in Linear Logic ⋮ A proof theory for model checking ⋮ Towards Ludics Programming: Interactive Proof Search
This page was built for publication:
