The following pages link to (Q4159365):
Displaying 9 items.
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
- Nondeterministic three-valued logic: isotonic and guarded truth-functions (Q792750) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Parameter passing in nondeterministic recursive programs (Q1131833) (← links)
- On the complexity of \(\omega\)-type Turing acceptors (Q1138912) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Lazy Relations (Q3498411) (← links)
- Formal computations of non deterministic recursive program schemes (Q3883492) (← links)
- (Q3912568) (← links)