Centrum Wiskunde & Informatica

Transfinite reductions in orthogonal term rewriting systems (extended abstract) Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
Determiners Tech Report

D.J.N. van Eijck (Jan)

January 1990
Patterns in the effects of infectious diseases on population growth Tech Report

O. Diekmann (Odo) and M. Kretzschmar

January 1990
Some observations on redundancy in a context Book Chapter

F.W. Vaandrager (Frits)

January 1990
Process algebra semantics of POOL Book Chapter

F.W. Vaandrager (Frits)

January 1990
Two simple protocols Book Chapter

F.W. Vaandrager (Frits)

January 1990
Towards more efficient loop checks In Proceedings

R.N. Bol

January 1990
Parallel ODE solvers Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1990

Previous

Next