Publication

Een 4-de orde gegeneraliseerde Runge-Kutta methode Tech Report

S.P.N. van Kampen

Kwic index for the CDC math science library available on the SARA computer Tech Report

Deterministic Lindenmayer languages, nonterminals and homomorphisms Tech Report

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

Growth functions associated with biological development : (prepublication) Tech Report

G.T. Herman and P.M.B. Vitányi (Paul)

On a problem in the collective behavior of automata : (prepublication) Tech Report

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

Stable string languages of Lindenmayer systems : (prepublication) Tech Report

P.M.B. Vitányi (Paul) and A. Walker

An extension of unification to substitutions with an application to automatic theorem proving : (prepublication) Tech Report

J.M. van Vaalen (Jophien)

Least fixed points revisited : Prepublication Tech Report

J.W. de Bakker (Jaco)