Journals in DBLP

J. Log. Comput.
1999, volume: 9, number: 4

1. Karl Schlechta
   A Topological Construction of a Non-smooth Model of Cumulativity. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:4, pp:457-462 [Journal]
   
2. Ulrich Hensel, Bart Jacobs
   Coalgebraic Theories of Sequences in PVS. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:4, pp:463-500 [Journal]
   
3. J. W. Rosenthal, J. W. Plotkin, J. Franco
   The Probability of Pure Literals. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:4, pp:501-513 [Journal]
   
4. Antonis C. Kakas, Francesca Toni
   Computing Argumentation in Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:4, pp:515-562 [Journal]
   
5. Michael Wooldridge, Nicholas R. Jennings
   The Cooperative Problem-solving Process. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:4, pp:563-592 [Journal]