Pages that link to "Item:Q1059391"
From MaRDI portal
The following pages link to On the fixpoints of nondeterministic recursive definitions (Q1059391):
Displaying 6 items.
- Fixpoints for general correctness (Q549677) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- A generalization of Naundorf's fixpoint theorem (Q1583261) (← 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)
- Recursive Definitions and Fixed-Points (Q5178958) (← links)