Journals in DBLP

Inf. Comput.
2003, volume: 184, number: 1

1. Anna Ingólfsdóttir
   A semantic theory for value-passing processes based on the late approach. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:1-44 [Journal]
   
2. Sanjay Jain, Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen
   On the intrinsic complexity of learning recursive functions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:45-70 [Journal]
   
3. Johannes Köbler, Jochen Messner, Jacobo Torán
   Optimal proof systems imply complete sets for promise classes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:71-92 [Journal]
   
4. T. W. Sze, Samuel T. Chanson, Cunsheng Ding, Tor Helleseth, Matthew G. Parker
   Logarithm cartesian authentication codes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:93-108 [Journal]
   
5. Yves Métivier, Nasser Saheb, Akka Zemmari
   Analysis of a randomized rendezvous algorithm. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:109-128 [Journal]
   
6. Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell, Steven Skiena
   The Lazy Bureaucrat scheduling problem. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:129-146 [Journal]
   
7. Faron Moller, Alexander Moshe Rabinovich
   Counting on CTL^*: on the expressive power of monadic path logic. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:147-159 [Journal]
   
8. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
   Approximating labelled Markov processes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:160-200 [Journal]
   
9. Yuxi Fu
   Bisimulation congruence of chi calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:184, n:1, pp:201-226 [Journal]
   
10. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:1, pp:227- [Journal]