CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
March 1996
-
March 1996 -
March 1996
-
April 1996 -
Confluence and normalisation for higher-order rewriting Dissertation
Specification and Analysis of Embedded SystemsMay 1996 -
May 1996
-
Scheduling complete intrees on two uniform processors with communication delays Article
Information Processing Letters, 58(5), 255-263.J. Blazewicz, P. Bouvry (Pascal), F. Guinand and D. Trystram
June 1996
-
June 1996