Journals in DBLP

J. Log. Comput.
1993, volume: 3, number: 6

1. Chris Hankin
   Editorial: Logic in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1993, v:3, n:6, pp:577-578 [Journal]
   
2. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
   Modelling Prolog Control. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1993, v:3, n:6, pp:579-603 [Journal]
   
3. Andrzej Szalas
   On the Correspondence between Modal and Classical Logic: An Automated Approach. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1993, v:3, n:6, pp:605-620 [Journal]
   
4. Nicola Leone, Pasquale Rullo
   Ordered Logic Programming with Sets. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1993, v:3, n:6, pp:621-642 [Journal]
   
5. Steffen van Bakel
   Principal Type Schemes for the Strict Type Assignment System. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1993, v:3, n:6, pp:643-670 [Journal]
   
6. Silvia Ghilezan
   Inhabitation in Intersection and Union Type Assignment Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1993, v:3, n:6, pp:671-685 [Journal]