Journals in DBLP

Inf. Process. Lett.
1988, volume: 29, number: 1

1. Michel Minoux
   LTUR: A Simplified Linear-Time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. [Citation Graph (1, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:1-12 [Journal]
   
2. S.-T. Huang
   A Fully Distributed Termination Detection Scheme. [Citation Graph (1, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:13-18 [Journal]
   
3. Jean-Claude Raoult
   Proving Open Properties by Induction. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:19-23 [Journal]
   
4. Matthias Reichling
   On the Detection of a Common Intersection of k Convex Objects in the Plane. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:25-29 [Journal]
   
5. F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith
   On Process Assignment in Parallel Computing. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:31-34 [Journal]
   
6. Erkki Mäkinen
   On Linear Search Heuristics. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:35-36 [Journal]
   
7. M. D. Atkinson, Nicola Santoro
   A Practical Algorithm for Boolean Matrix Multiplication. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:37-38 [Journal]
   
8. Joep L. W. Kessels
   An Exercise in Proving Self-Stabilization with a Variant Function. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:39-42 [Journal]
   
9. Masataka Sassa, Ikuo Nakata
   Time-Optimal Short-Circuit Evaluation of Boolean Expressions. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1988, v:29, n:1, pp:43-51 [Journal]