|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|