Pages that link to "Item:Q3104817"
From MaRDI portal
The following pages link to Sequential games and optimal strategies (Q3104817):
Displaying 22 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The Peirce translation (Q408162) (← links)
- Sequential optimizing strategy in multi-dimensional bounded forecasting games (Q617916) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Morphisms of open games (Q2134815) (← links)
- Sequential commitment games (Q2411532) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- A generalization of Nash's theorem with higher-order functionals (Q2831257) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- (Q3169984) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- (Q3384909) (← links)
- (Q3782788) (← links)
- Efficient chip strategies in repeated games (Q4612459) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5020955) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680) (← links)
- Sequential claim games (Q6049401) (← links)
- Higher-order games with dependent types (Q6049932) (← links)
- A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)