Journals in DBLP
Chris Hankin Guest Editor's Foreword. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1998, v:5, n:4, pp:265-266 [Journal ] 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 ] 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 ] 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 ] 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 ]