Journals in DBLP

Sci. Comput. Program.
2004, volume: 51, number: 1-2

1. Eerke A. Boiten, Bernhard Möller
   Foreword. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:1-2 [Journal]
   
2. Dexter Kozen
   Some results in dynamic model theory. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:3-22 [Journal]
   
3. Joakim von Wright
   Towards a refinement algebra. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:23-45 [Journal]
   
4. Wim H. Hesselink
   Using eternity variables to specify and prove a serializable database interface. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:47-85 [Journal]
   
5. Shin-Cheng Mu, Richard S. Bird
   Theory and applications of inverting functions as folds. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:87-116 [Journal]
   
6. Ralf Hinze, Johan Jeuring, Andres Löh
   Type-indexed data types. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:117-151 [Journal]
   
7. Kevin Backhouse, Roland Carl Backhouse
   Safety of abstract interpretations for free, via logical relations and Galois connections. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:51, n:1-2, pp:153-196 [Journal]