Journals in DBLP
Athanasios Alexandrakis , Symeon Bozapalidis Weighted Grammars and Kleene's Theorem. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:1-4 [Journal ] Stuart A. Kurtz , Michael J. O'Donnell , James S. Royer How to Prove Representation-Independent Independence Results. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:5-10 [Journal ] W. H. J. Feijen , A. J. M. van Gasteren , David Gries In-situ Inversion of a Cyclic Permutation. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:11-14 [Journal ] Taenam Kim , Kyung-Yong Chwa An O(n log n log log n) Parallel Maximum Matching Algorithm for Bipartite Graphs. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:15-17 [Journal ] Peter H. Hochschild Multiple Cuts, Input Repetition, and VLSI Complexity. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:19-24 [Journal ] Raphael A. Finkel , Hari Madduri An Efficient Deadlock Avoidance Algorithm. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:25-30 [Journal ] Masataka Sassa , Harushi Ishizuka , Ikuo Nakata ECLR-Attributed Grammars: A Practical Class of LR-Attributed Grammars. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:31-41 [Journal ] Arthur J. Bernstein Predicate Transfer and Timeout in Message Passing Systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:43-52 [Journal ] Richard S. Bird , John Hughes The alpha-beta Algorithm: An Exercise in Program Transformation. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:53-57 [Journal ] Toshitsugu Yuba , Mamoru Hoshi Binary Search Networks: A New Method for Key Searching. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:59-65 [Journal ] Vikraman Arvind , Somenath Biswas An O(n²) Algorithm for the Satisfiability Problem of a Subset of Propositional Sentences in CNF That Includes All Horn Sentences. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:24, n:1, pp:67-69 [Journal ]