
Journals in DBLP
 Oege de Moor
Inductive Data Types for Predicate Transformers. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:113117 [Journal]
 Sanjeev Saluja, K. V. Subrahmanyam
On the Power of Enumerative Counting. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:119125 [Journal]
 Gerhard J. Woeginger
Finding the Closest Extreme Vertex to a Fixed Point. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:127128 [Journal]
 Xiaoquing Liu, Junguk L. Kim
An Effecient Parallel Sorting Algorithm. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:129133 [Journal]
 Thomas A. Henzinger
Sooner is Safer Than Later. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:135141 [Journal]
 V. I. Galiev, A. F. Polupanov, Igor Shparlinski
Distances from Differences of Roots of Polynomials to the Nearest Integers. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:143146 [Journal]
 Wojciech Penczek
On Undecidability of Propositional Temporal Logics on Trace Systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:147153 [Journal]
 Michele Boreale, Paola Inverardi, Monica Nesi
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:155160 [Journal]
 Vassil S. Dimitrov, Todor Cooklev, B. D. Donevsky
On the Multiplication of Reduced Biquaternions and Applications. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:161164 [Journal]
 DoHyung Kim, KwangMoo Choe
Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:165 [Journal]
 Boleslaw K. Szymanski, Balaram Sinharoy
Corrigenda: Complexity of the Closest Vector Problem in a Lattice Generated by (0, 1)Matrix. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:167 [Journal]
