Pages that link to "Item:Q5689264"
From MaRDI portal
The following pages link to Linear Logic Proof Games and Optimization (Q5689264):
Displaying 4 items.
- A parallel game semantics for linear logic (Q1360314) (← links)
- Optimization complexity of linear logic proof games (Q1575867) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589) (← links)