| 1 | -- | 25 | Rudolf Berghammer, Thorsten Hoffmann. Deriving relational programs for computing kernels by reconstructing a proof of Richardson s theorem |
| 27 | -- | 71 | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck. Combinations of abstract domains for logic programming: open product and generic pattern construction |
| 73 | -- | 124 | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili. A calculus of program adaptation and its applications |
| 125 | -- | 142 | Stephan Diehl. A generative methodology for the design of abstract machines |
| 143 | -- | 146 | Gianfranco Balbo. Review: Performance Modeling with Deterministic and Stochastic Petri Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization, Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6 |
| 147 | -- | 149 | Jan van Eijck. Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI P |
| 151 | -- | 153 | Davide Sangiorgi. Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1 |
| 155 | -- | 157 | Thomas Streicher. Review: Practical Foundations of Mathematics - Paul Taylor, Cambridge Studies in Advanced Mathematics, Vol. 59, Cambridge University Press, Cambridge, 1999. xi+572 pages, price £50 paperback, ISBN 0-521-63107-6 |