Centrum Wiskunde & Informatica

Coordination of distributed/parallel multiple-grid domain decomposition Tech Report

C.T.H. Everaars (Kees) and F. Arbab (Farhad)

January 1996
A note on n similar parallel processes Tech Report

J.F. Groote (Jan Friso)

January 1996
Computational steering Tech Report

R. van Liere (Robert), J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1996
System design for structured hypermedia generation In Proceedings

M. Worring (Marcel), C.A. van den Berg (Carel) and L. Hardman (Lynda)

January 1996
Quantifiers and partiality Book Chapter

D.J.N. van Eijck (Jan)

January 1996
Coalgebraic specifications and models of deterministic hybrid systems In Proceedings

B.P.F. Jacobs

January 1996
Prime factorizations of abstract domains using first-order logic In Proceedings

E. Marchiori

January 1996
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)

January 1996

Previous

Next