Publication

Proceedings seminar 1986-1987 : lectures on Kac-Moody algebras [presented in the seminar 'Mathematical structures in field theories'] Book

A comparison of OBJ3 and ASF+SDF Tech Report

S.M. Eker

Specification of Manifold : version 1.0 Tech Report

F. Arbab (Farhad)

Real time process algebra with prefixed integration Tech Report

W.J. Fokkink (Wan) and A.S. Klusener (Steven)

Transition systems and dynamic semantics Tech Report

R.T.P. Fernando (Tim)

Mathematical morphology as a tool for shape description Tech Report

H.J.A.M. Heijmans (Henk)

A package for long integer arithmetic on the Cray Y-MP Tech Report

D.T. Winter (Dik)

Numerical multigrid software: MGD5M, a parallel multigrid code with a twisted ILLU-relaxation Tech Report

M. Nool (Margreet)