Journals in DBLP

Inf. Process. Lett.
1995, volume: 53, number: 5

1. Friedrich Otto
   Solvability of Word Equations Modulo Finite Special and Confluent String-Rewriting Systems is Undecidable in General. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:237-242 [Journal]
   
2. Chi-Sung Laih, Fu-Kuan Tu, Wen-Chung Tai
   On the Security of the Lucas Function. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:243-247 [Journal]
   
3. Robert I. Davis, Alan Burns
   Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:249-254 [Journal]
   
4. Marie-Claude Heydemann, Dominique Sotteau
   A Note on Recursive Properties of the de Bruijn, Kautz and FFT Digraphs. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:255-259 [Journal]
   
5. Valmir C. Barbosa, Stella C. S. Porto
   An Algorithm for FIFO Message Delivery Among Migrating Tasks. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:261-267 [Journal]
   
6. Takehiro Tokuda, Yoshimichi Watanabe
   An Efficient Semantic Evaluator for Warped LC(1) Attributed Grammars. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:269-276 [Journal]
   
7. Mounir Hamdi
   Topological Properties of the Directional Hypercube. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:277-286 [Journal]
   
8. Paulo A. S. Veloso, T. S. E. Maibaum
   On the Modularization Theorem for Logical Specifications. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:287-293 [Journal]
   
9. William L. Steiger, Ileana Streinu
   A Pseudo-Algorithmic Separation of Lines from Pseudo-Lines. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:53, n:5, pp:295-299 [Journal]