Pages that link to "Item:Q1575867"
From MaRDI portal
The following pages link to Optimization complexity of linear logic proof games (Q1575867):
Displaying 4 items.
- Complexity and approximability of quantified and stochastic constraint satisfaction problems (Q2741527) (← links)
- Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589) (← links)
- (Q4411828) (← links)
- Linear Logic Proof Games and Optimization (Q5689264) (← links)