
Journals in DBLP
Inf. Comput. 2002, volume: 174, number: 2
 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:105131 [Journal]
 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:132142 [Journal]
 Nobuko Yoshida, Matthew Hennessy
Assigning Types to Processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:174, n:2, pp:143179 [Journal]
 Alberto Apostolico, Mikhail J. Atallah
Compact Recognizers of Episode Sequences. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:174, n:2, pp:180192 [Journal]
 Steven S. Seiden
A General Decomposition Theorem for the kServer Problem. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:174, n:2, pp:193202 [Journal]
 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:203213 [Journal]
