Journals in DBLP

J. Log. Comput.
1996, volume: 6, number: 6

1. James J. Lu
   Logic Programming with Signs and Annotations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1996, v:6, n:6, pp:755-778 [Journal]
   
2. Juha Nurmonen
   On Winning Strategies with Unary Quantifiers. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1996, v:6, n:6, pp:779-798 [Journal]
   
3. Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
   Strong Normalizations of Substitutions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1996, v:6, n:6, pp:799-817 [Journal]
   
4. Reiner Hähnle, Stefan Klingenbeck
   A-Ordered Tableaux. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1996, v:6, n:6, pp:819-833 [Journal]
   
5. David A. Basin, Seán Matthews
   Adding Metatheoretic Facilities to First-Order Theories. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1996, v:6, n:6, pp:835-849 [Journal]