Journals in DBLP

Inf. Comput.
2002, volume: 174, number: 2

1. Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen
   Tarskian Set Constraints. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:174, n:2, pp:105-131 [Journal]
   
2. Arnaud Durand, Malika More
   Nonerasing, Counting, and Majority over the Linear Time Hierarchy. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:174, n:2, pp:132-142 [Journal]
   
3. Nobuko Yoshida, Matthew Hennessy
   Assigning Types to Processes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:174, n:2, pp:143-179 [Journal]
   
4. Alberto Apostolico, Mikhail J. Atallah
   Compact Recognizers of Episode Sequences. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:174, n:2, pp:180-192 [Journal]
   
5. Steven S. Seiden
   A General Decomposition Theorem for the k-Server Problem. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:174, n:2, pp:193-202 [Journal]
   
6. Noga Alon, Haim Kaplan, Michael Krivelevich, Dahlia Malkhi, Julien P. Stern
   Scalable Secure Storage When Half the System Is Faulty. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:174, n:2, pp:203-213 [Journal]