Journals in DBLP

Nord. J. Comput.
1998, volume: 5, number: 4

1. Chris Hankin
   Guest Editor's Foreword. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:4, pp:265-266 [Journal]
   
2. Martín Abadi, Andrew D. Gordon
   A Bisimulation Method for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:4, pp:267-0 [Journal]
   
3. Christian Fecht, Helmut Seidl
   Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:4, pp:304-329 [Journal]
   
4. K. Rustan M. Leino
   Recursive Object Types in a Logic of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:4, pp:330-360 [Journal]
   
5. John L. Ross, Shmuel Sagiv
   Building a Bridge between Pointer Aliases and Program Dependences. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:4, pp:361-0 [Journal]