Journals in DBLP

Sci. Comput. Program.
1983, volume: 3, number: 2

1. Lawrence C. Paulson
   A Higher-Order Implementation of Rewriting. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1983, v:3, n:2, pp:119-149 [Journal]
   
2. Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
   Metal: A Formalism to Specify Formalisms. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1983, v:3, n:2, pp:151-188 [Journal]
   
3. Trevor I. Dix
   Exceptions and Interrupts in CSP. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1983, v:3, n:2, pp:189-204 [Journal]
   
4. Jyrki Katajainen, Olli Nevalainen
   An Alternative for the Implementation of Kruskal's Minimal Spanning Tree Algorithm. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1983, v:3, n:2, pp:205-216 [Journal]
   
5. Martin Rem
   Small Programming Exercises 1. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1983, v:3, n:2, pp:217-222 [Journal]