Journals in DBLP

Inf. Process. Lett.
1996, volume: 58, number: 4

1. Jakob Rehof
   Strong Normalization for Non-Structural Subtyping via Saturated Sets. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:157-162 [Journal]
   
2. Anna Ciampolini, Evelina Lamma, Paola Mello
   An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:163-170 [Journal]
   
3. Leizhen Cai
   Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:171-176 [Journal]
   
4. Piercarlo Grandi
   Implementing (Nondeterministic) Parallel Assignments. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:177-179 [Journal]
   
5. V. Balachandran, P. Nagavamsi, C. Pandu Rangan
   Clique Transversal and Clique Independence on Comparability Graphs. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:181-184 [Journal]
   
6. Jean-Camille Birget
   The State Complexity of \Sigma * L and its Connection with Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:185-188 [Journal]
   
7. Shin-Jia Hwang, Chin-Chen Chang, Wei-Pang Yang
   Autenticated Encryption Schemes with Message Linkage. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:189-195 [Journal]
   
8. Kai Salomaa
   Yield-Languages of Two-Way Pushdown Tree Automata. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:195-199 [Journal]
   
9. Vishv M. Malhotra, Bala Srinivasan, Santosh Kulkarni
   Storage-Efficient Data Structure for Large Lookup Dictionaries. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:58, n:4, pp:201-206 [Journal]