Journals in DBLP

Sci. Comput. Program.
1995, volume: 25, number: 2-3

1. Donald Sannella
   Foreword: Selected Papers of ESOP'94. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:79-80 [Journal]
   
2. Martín Abadi, Luca Cardelli
   A Theory of Primitive Objects: Second-Order Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:81-116 [Journal]
   
3. James H. Andrews
   Foundational Issues in Implementing Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:117-147 [Journal]
   
4. Michel Bidoit, Rolf Hennicker, Martin Wirsing
   Behavioural and Abstractor Specifications. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:149-186 [Journal]
   
5. Robert Giegerich, Stefan Kurtz
   A Comparison of Imperative and Purely Functional Suffix Tree Constructions. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:187-218 [Journal]
   
6. Chris Hankin, Daniel Le Métayer
   Lazy Type Inference and Program Analysis. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:219-249 [Journal]
   
7. C. Barry Jay
   A Semantics for Shape. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:251-283 [Journal]
   
8. K. V. S. Prasad
   A Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:25, n:2-3, pp:285-327 [Journal]