Publication

Computing the perimeter of a set of rectangles : (preprint) Tech Report

P.M.B. Vitányi (Paul) and D. Wood

Abstracto 84: the next generation : (preprint) Tech Report

L.G.L.T. Meertens (Lambert)

Correctness theories and program equivalence : (preprint) Tech Report

J.A. Bergstra (Jan), J. Tiuryn and J.V. Tucker (John)

Recurrent ultracomputers are not log n-fast : (preprint) Tech Report

Bitonic sort on ultracomputers : (preprint) Tech Report

L.G.L.T. Meertens (Lambert)

Derivatives of programs : (preprint) Tech Report

J.W. de Bakker (Jaco) and J.I. Zucker

Algebraic specifications of computable and semi-computable data structures : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

On controlled iterated GSM mappings and related operations : (preprint) Tech Report

P.R.J. Asveld