Journals in DBLP

J. Log. Comput.
1997, volume: 7, number: 4

1. Michael Fisher
   A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:4, pp:429-456 [Journal]
   
2. Etienne Grandjean, Hans Kleine Büning
   SAT-Problems and Reductions with Respect to the Number of Variables. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:4, pp:457-471 [Journal]
   
3. Àngel J. Gil, Antoni Torrens, Ventura Verdú
   On Gentzen Systems Associated with the Finite Linear MV-Algebras. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:4, pp:473-500 [Journal]
   
4. Natasha Kurtonina, Maarten de Rijke
   Simulating Without Negation. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:4, pp:501-522 [Journal]
   
5. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
   Ground Nonmonotonic Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:4, pp:523-548 [Journal]