Centrum Wiskunde & Informatica

Repairing the parenthesis skeleton of Algol 68 programs: proof of correctness : (prepublication) Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1975
Textual management in an Algol 68 compiler Tech Report

H.J. Boom and D. Grune (Dick)

January 1975
The halting problem for linear Turing assemblers Tech Report

R.M. Baer and J. van Leeuwen (Jan)

January 1975
Some elementary proofs of lower-bounds in complexity-theory : (prepublication) Tech Report

J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

January 1975
How program statements transform predicates : (prepublication) Tech Report

L. Ammeraal

January 1975
On the non-vanishing terms in a product of multivariate polynomials : (prepublication) Tech Report

J. van Leeuwen (Jan)

January 1975
A note on the recursive enumerability of some classes of recursively enumerable languages : (prepublication) Tech Report

P. van Emde Boas (Peter) and P.M.B. Vitányi (Paul)

January 1975
Design of an interactive graphics system Tech Report

P.J.W. ten Hagen (Paul), P. Klint (Paul), H. Noot (Han) and T. Hagen

January 1975

Previous

Next