A primitive recursive set theory and ${m AFA}$: on the logical complexity of the largest bisimulation In Proceedings

R.T.P. Fernando (Tim)

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1992 : systeemtheorie Book

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

Mark Kac seminar on probability and physics : syllabus [a selection of reports of lectures delivered during the academic years] 1987-1992 Book

Hoeken en hun maat Book

A.G. van Asch and F. van der Blij

Parser generation for interactive environments Dissertation

J. G. Rekers (Jan)

Solving parabolic integro-differential equations by an explicit integration method Article

A.S. Vasudeva Murthy and J.G. Verwer (Jan)

Parallelism in the numerical integration of initial value problems Dissertation

B.P. Sommeijer (Ben)