Journals in DBLP

J. Log. Comput.
1994, volume: 4, number: 3

1. C. A. R. Hoare
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:3, pp:215-216 [Journal]
   
2. Leo Bachmair, Harald Ganzinger
   Rewrite-Based Equational Theorem Proving with Selection and Simplification. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:3, pp:217-247 [Journal]
   
3. Robert F. Stärk
   Input/Output Dependencies of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:3, pp:249-262 [Journal]
   
4. William P. R. Mitchell
   Expressiveness for Highly Nested Expressions in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:3, pp:263-272 [Journal]
   
5. R. Suzanne Zeitman
   Unforgettable Forgetful Determinacy. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:3, pp:273-283 [Journal]
   
6. Marcello D'Agostino, Marco Mondadori
   The Taming of the Cut. Classical Refutations with Analytic Cut. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:3, pp:285-319 [Journal]