( en | de | ru )

 

Disambiguation of "de Bruin, Arie"

Author of the publication

copydeleteadd this publication to your clipboard
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract).

, , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 513-527. Springer, (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Bruin

Jan Hendrik Bruinier

Arie Nabrings

Arie Hartog

Arie Klerk

 

Other publications of authors with the same name

Trends in Game Tree Search., and . SOFSEM, volume 1175 of Lecture Notes in Computer Science, page 255-274. Springer, (1996)Retractions in Comparing Prolog Semantics (Extended Abstract)., and . MFCS, volume 452 of Lecture Notes in Computer Science, page 180-186. Springer, (1990)Kahn's Fixed-Point Characterization for Linear Dynamic Networks., and . SOFSEM, volume 1338 of Lecture Notes in Computer Science, page 513-522. Springer, (1997)On the Existence of Cook Semantics.. SIAM J. Comput., 13 (1): 1-13 (1984)Distributed simulation in industry - a survey: part 1 - the COTS vendors., , and . WSC, page 1053-1060. IEEE Computer Society, (2006)A Minimax Algorithm Better Than Alpha-beta?: No and Yes., , , and . CoRR, (2017)Towards an abstract parallel branch and bound machine., , and . Solving Combinatorial Optimization Problems in Parallel, volume 1054 of Lecture Notes in Computer Science, page 145-170. Springer, (1996)Another View on the SSS* Algorithm., and . SIGAL International Symposium on Algorithms, volume 450 of Lecture Notes in Computer Science, page 211-220. Springer, (1990)Distributed simulation in industry - a survey: part 2 - experts on distributed simulation., , and . WSC, page 1061-1068. IEEE Computer Society, (2006)Formalizing a Design Technique for Distributed Programs., , and . PDSE, page 150-161. IEEE Computer Society, (1997)