Publication

Tenth conference on the mathematics of operations research and systems theory : Lunteren, 09-11.01.1984 : program and summaries Booklet

Ninth conference on the mathematics of operations research and system theory : Benelux meeting on systems and control 1984 : Lunteren, 11-13.01.1984 : program and abstracts Booklet

Two applications of topological dynamics in combinatorial number theory : the shift system and the Stone-Čech compactification of the non-negative integers Tech Report

J. de Vries (Jan)

Software development: science or patchwork? Tech Report

R.L. Baber

Recent progress on the numerical verification of the Riemann hypothesis Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

The day before tomorrow : report on a three week visit to China Tech Report

J.K. Lenstra (Jan Karel)

PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness In Proceedings

J.A. Bergstra (Jan) and J. Tiuryn

Algebraic tools for system construction In Proceedings

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)