Journals in DBLP

Sci. Comput. Program.
1991, volume: 17, number: 1-3

1. Neil D. Jones
   Foreword (Selected Papers of ESOP '90). [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:1-2 [Journal]
   
2. Anders Bondorf
   Automatic Autoprojection of Higher Order Recursive Equations. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:3-34 [Journal]
   
3. Matthias Felleisen
   On the Expressive Power of Programming Languages. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:35-75 [Journal]
   
4. Reinhold Heckmann
   Power Domain Constructions. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:77-117 [Journal]
   
5. Leen Helmink
   Resolution and Type Theory. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:119-138 [Journal]
   
6. Thomas W. Reps
   Algebraic Properties of Program Integration. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:139-215 [Journal]
   
7. Satish Thatte
   A Type System for Implicit Scaling. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1991, v:17, n:1-3, pp:217-245 [Journal]