Centrum Wiskunde & Informatica

The many facets of evolutionary dynamics Tech Report

O. Diekmann (Odo)

January 1995
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

January 1995
Minimal term rewriting systems Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1995
A natural differential calculus on Lie bialgebras with dual of triangular type Tech Report

N.W. van den Hijligenberg and R. Martini

January 1995
From exponential coordinates to bicovariant differential calculi on matrix quantum groups Tech Report

N.W. van den Hijligenberg and R. Martini

January 1995
Logging in a computational steering environment Tech Report

J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1995
Manual of spIds, a software package for parameter identification in dynamic systems Tech Report

C.T.H. Everaars (Kees), P.W. Hemker (Piet) and W.J.H. Stortelder (Walter)

January 1995
The bakery protocol : a comparitive case-study in formal verification Tech Report

W.O.D. Griffioen and H.P. Korver

January 1995

Previous

Next