Journals in DBLP

J. Log. Comput.
1998, volume: 8, number: 4

1. Roberto Giacobazzi
   Abductive Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:4, pp:457-483 [Journal]
   
2. Hans Hüttel, Colin Stirling
   Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:4, pp:485-509 [Journal]
   
3. Nicolas Peltier
   A New Method for Automated Finite Model Building Exploiting Failures and Symmetries. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:4, pp:511-543 [Journal]
   
4. Rachel Cardell-Oliver
   An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:4, pp:545-567 [Journal]
   
5. Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz
   Simplification of Many-Valued Logic Formulas Using Anti-Links. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:4, pp:569-587 [Journal]
   
6. Lex Hendriks
   Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:4, pp:589-593 [Journal]