The following pages link to Arie de Bruin (Q1111939):
Displayed 12 items.
- A simulation tool for the performance evaluation of parallel branch and bound algorithms (Q1111941) (← links)
- Linear dynamic Kahn networks are deterministic (Q1128478) (← links)
- Goto statements: Semantics and deduction systems (Q1145492) (← links)
- (Q1405335) (redirect page) (← links)
- Finding a feasible solution for a class of distributed problems with a single sum constraint using agents (Q1405337) (← links)
- (Q1589516) (redirect page) (← links)
- Game tree algorithms and solution trees (Q1589517) (← links)
- Best-first fixed-depth minimax algorithms (Q2676580) (← links)
- On the Existence of Cook Semantics (Q3334967) (← links)
- (Q3347278) (← links)
- Syntax and semantics of Procol (Q3569041) (← links)
- The denotational semantics of dynamic networks of processes (Q3698296) (← links)