Pages that link to "Item:Q1318704"
From MaRDI portal
The following pages link to Nondeterminacy and recursion via stacks and games (Q1318704):
Displaying 7 items.
- Games and winning strategies (Q674272) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Interpretations of recursion under unbounded nondeterminacy (Q1115173) (← links)
- DUALITY: A simple formalism for the analysis of UNITY (Q1903074) (← links)
- Safety and progress of recursive procedures (Q1903075) (← links)
- Infinite Games, Inductive Definitions and Transfinite Recursion (Q6135562) (← links)