Journals in DBLP

J. Symb. Comput.
1996, volume: 22, number: 5/6

1. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
   Timed Default Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:475-520 [Journal]
   
2. Carlos Caleiro, Gunter Saake, Amílcar Sernadas
   Deriving Liveness Goals from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:521-553 [Journal]
   
3. Thom W. Frühwirth
   Temporal Annotated Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:555-583 [Journal]
   
4. Mohsin Ahmed, G. Venkatesh
   Dense Time Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:585-613 [Journal]
   
5. Joeri Engelfriet, Jan Treur
   Executable Temporal Logic for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:615-625 [Journal]
   
6. Michael Fisher
   Temporal Semantics for Concurrent Metatem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:627-648 [Journal]
   
7. Jean-Raymond Gagné, John Plaice
   A Non-Standard Temporal Deductive Database System. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:649-664 [Journal]
   
8. Edjard Mota, David Stuart Robertson, Alan Smaill
   NatureTime: Temporal Granularity in Simulation of Ecosystems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:665-698 [Journal]
   
9. Chuchang Liu, Mehmet A. Orgun
   Dealing with Multiple Granularity of Time in Temporal Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:5/6, pp:699-720 [Journal]
   
10. Mehmet A. Orgun, Anthony A. Faustini
    Executable Temporal Logic Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:721-735 [Journal]