Journals in DBLP

Sci. Comput. Program.
2000, volume: 38, number: 1-3

1. Rudolf Berghammer, Thorsten Hoffmann
   Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:1-25 [Journal]
   
2. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
   Combinations of abstract domains for logic programming: open product and generic pattern construction. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:27-71 [Journal]
   
3. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
   A calculus of program adaptation and its applications. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:73-124 [Journal]
   
4. Stephan Diehl
   A generative methodology for the design of abstract machines. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:125-142 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:143-146 [Journal]
   
6. 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 [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:147-149 [Journal]
   
7. Davide Sangiorgi
   Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:151-153 [Journal]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:155-157 [Journal]