Centrum Wiskunde & Informatica

Parallel predictor-corrector methods In Proceedings

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and J.J.B. de Swart (Jacques)

January 1996
Reversibility and adiabatic computation: trading time and space for energy Article

Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences, 452(1947), 769-789.

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1996
Comparing curried and uncurried rewriting Article

Journal of Symbolic Computation, 21(1), 15-39.

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1996
The development of Runge-Kutta methods for partial differential equations In Proceedings

P.J. van der Houwen (Piet)

January 1996
A note on disjoint-occurrence inequalities for marked Poisson point processes Article

Journal of Applied Probability, 33(2), 420-426.

J. van den Berg (Rob)

January 1996
The Robinson-Schensted and Schützenberger algorithms, an elementary approach. The Foata Festschrift Article

Electronic Journal of Combinatorics, 3(2), 1-32.

M.A.A. van Leeuwen (Marc)

January 1996
A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification - In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 1996
Wijzer in wiskunde : een inleiding via logica en verzamelingen Book

H.C. Doets (Kees)

January 1996

Previous

Next