Publication

Closed $G^ 1$-continuous cubic Bézier surfaces Tech Report

R.C. Veltkamp (Remco)

Comparative transition system semantics Tech Report

R.T.P. Fernando (Tim)

Applications of cut polyhedra Article

M. Deza and M. Laurent (Monique)

Associative matching for linear terms Tech Report

S.M. Eker

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)