Publication

Fixed point semantics and Dijkstra's fundamental invariance theorem Tech Report

J.W. de Bakker (Jaco)

Call-by-value versus call-by-name: a proof-theoretic comparison : (prepublication) Tech Report

W.P. de Roever

Deterministically recognizing EOL-languages in time $0(n^{3.81} )$ Tech Report

J. van Leeuwen (Jan)

Infal, an informatics library Tech Report

Syllabus cursus Algol 68 : (herz. uitg) Tech Report

L. Ammeraal

On the stability of products of stochastic matrices : (prepublication) Tech Report

J.M. Anthonisse and H.C. Tijms (Henk)

On the existence of discounted and average return equilibrium policies in n-person stochastic games : (prepublication) Tech Report

A. Federgruen, O.J. Vrieze and G.L. Wanrooij

Optimal sequencing of jobs subject to series parallel precedence constraints Tech Report

E.L. Lawler