Journals in DBLP

Inf. Comput.
1998, volume: 143, number: 1

1. Paula Severi
   Type Inference for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:143, n:1, pp:1-23 [Journal]
   
2. Beate Bollig, Ingo Wegener
   Completeness and Non-Completeness Results with Respect to Read-Once Projections. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:143, n:1, pp:24-33 [Journal]
   
3. Davide Sangiorgi
   An Interpretation of Typed Objects into Typed pi-Calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:143, n:1, pp:34-73 [Journal]
   
4. Franco Montagna
   Investigations on Measure-One Identification of Classes of Languages. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:143, n:1, pp:74-107 [Journal]