Journals in DBLP

J. Log. Comput.
1992, volume: 2, number: 4

1. Chris Hankin
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:4, pp:437-439 [Journal]
   
2. Hanne Riis Nielson, Flemming Nielson
   Bounded Fixed-Point Iteration. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:4, pp:441-464 [Journal]
   
3. John Hughes, John Launchbury
   Relational Reversal of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:4, pp:465-482 [Journal]
   
4. Simon Hughes
   Compile-Time Garbage Collection for Higher-Order Functional Languages. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:4, pp:483-509 [Journal]
   
5. Patrick Cousot, Radhia Cousot
   Abstract Interpretation Frameworks. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:4, pp:511-547 [Journal]