Centrum Wiskunde & Informatica

Generalized Markov-programming applied to semi-Markov decision problems and two algorithms for its cutting operation Tech Report

P.J. Weeda

January 1973
Sexually reproducing cellular automata Tech Report

P.M.B. Vitányi (Paul)

January 1973
On the completeness of the inductive assertion method : (prepublication) Tech Report

J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)

January 1973
A note on nonrecursive and deterministic Lindenmayer languages : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

January 1973
Aleph, a language encouraging program hierarchy Tech Report

R. Bosch, D. Grune (Dick) and L.G.L.T. Meertens (Lambert)

January 1973
Proposals for the representation of Algol 68 programs Tech Report

T.J. Dekker and D. Grune (Dick)

January 1973
An interpreter for simple Algol 68 programs Tech Report

L. Ammeraal

January 1973
Operational and mathematical semantics for recursive polyadic program schemata (extended abstract) : (proceedings of Symposium and summer school mathematical foundations of computer science, High Tatras, 03-08.09.1973, p 293-298) Tech Report

W.P. de Roever

January 1973

Previous

Next