Arie de Bruin

Available identifiers

zbMath Open de-bruin.arieMaRDI QIDQ1111939

List of research outcomes

Publication	Date of Publication	Type
Best-first fixed-depth minimax algorithms	2022-09-27	Paper
Syntax and semantics of Procol	2010-06-17	Paper
Finding a feasible solution for a class of distributed problems with a single sum constraint using agents	2003-08-25	Paper
Game tree algorithms and solution trees	2000-12-12	Paper
Linear dynamic Kahn networks are deterministic	1998-08-13	Paper
A simulation tool for the performance evaluation of parallel branch and bound algorithms	1988-01-01	Paper
The denotational semantics of dynamic networks of processes	1985-01-01	Paper
On the Existence of Cook Semantics	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347278	1984-01-01	Paper
Goto statements: Semantics and deduction systems	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Arie de Bruin