Journals in DBLP

J. Log. Comput.
2005, volume: 15, number: 3

1. Arnon Avron, Iddo Lev
   Non-deterministic Multiple-valued Structures. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:3, pp:241-261 [Journal]
   
2. Jonathan Ben-Naim
   Preferential and Preferential-discriminative Consequence Relations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:3, pp:263-294 [Journal]
   
3. Marc Pauly
   Programming and Verifying Subgame-Perfect Mechanisms. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:3, pp:295-316 [Journal]
   
4. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
   A Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:3, pp:317-352 [Journal]
   
5. Sabine Broda, Luís Damas
   On Long Normal Inhabitants of a Type. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:3, pp:353-390 [Journal]
   
6. Pascal Hitzler
   Towards a Systematic Account of Different Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:3, pp:391-404 [Journal]