Journals in DBLP

Inf. Comput.
2004, volume: 188, number: 1

1. Petr Jancar, Antonín Kucera, Faron Moller, Zdenek Sawa
   DP lower bounds for equivalence-checking and model-checking of one-counter automata. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:1-19 [Journal]
   
2. Richard Cole, Zvi Galil, Ramesh Hariharan, S. Muthukrishnan, Kunsoo Park
   Parallel two dimensional witness computation. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:20-67 [Journal]
   
3. Franck van Breugel
   De Bakker-Zucker processes revisited. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:68-76 [Journal]
   
4. Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho
   Generalization of ZYT-linearizability for bilinear datalog programs. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:77-98 [Journal]
   
5. Philip M. Long
   Efficient algorithms for learning functions with bounded variation. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:99-115 [Journal]
   
6. Aduri Pavan, Alan L. Selman
   Bi-immunity separates strong NP-completeness notions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:116-126 [Journal]
   
7. Sanjay Jain, Frank Stephan, Sebastiaan Terwijn
   Counting extensional differences in BC-learning. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:1, pp:127-142 [Journal]