Pages that link to "Item:Q995749"
From MaRDI portal
The following pages link to Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749):
Displaying 8 items.
- Terms with unbounded demonic and angelic nondeterminacy (Q870280) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- On the fixpoints of nondeterministic recursive definitions (Q1059391) (← links)
- Interpretations of recursion under unbounded nondeterminacy (Q1115173) (← links)
- Nondeterminacy and recursion via stacks and games (Q1318704) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- On the structural properties of the set of fixpoints for nondeterministic recursive definitions (Q1915506) (← links)