CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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.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 -
January 1996
-
A note on disjoint-occurrence inequalities for marked Poisson point processes Article
Journal of Applied Probability, 33(2), 420-426.January 1996 -
The Robinson-Schensted and Schützenberger algorithms, an elementary approach. The Foata Festschrift Article
Electronic Journal of Combinatorics, 3(2), 1-32.January 1996
-
A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification - In Proceedings
January 1996
-
January 1996