The following pages link to (Q4204136):
Displaying 12 items.
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Bounded nondeterminism of logic programs (Q702093) (← links)
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- While-programs with nondeterministic assignments and the logic ALNA (Q1082808) (← links)
- Undecidable goals for completed acyclic programs (Q1326578) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Programs, Recursion and Unbounded Choice (Q4023579) (← links)
- (Q4029613) (← links)
- (Q4222772) (← links)
- Unbounded Non-determinism in CSP (Q4276178) (← links)
- (Q4598248) (← links)
- Reasoning About Incompletely Defined Programs (Q5387856) (← links)