Volume 38,
Number 1-3,
August 2000
- Rudolf Berghammer, Thorsten Hoffmann:
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem.
1-25 BibTeX
- Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of abstract domains for logic programming: open product and generic pattern construction.
27-71 BibTeX
- Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
A calculus of program adaptation and its applications.
73-124 BibTeX
- Stephan Diehl:
A generative methodology for the design of abstract machines.
125-142 BibTeX
- 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.
143-146 BibTeX
- 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 Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8.
147-149 BibTeX
- Davide Sangiorgi:
Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1.
151-153 BibTeX
- 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.
155-157 BibTeX
Copyright © Tue Nov 18 20:45:33 2008
by Michael Ley (ley@uni-trier.de)
