|
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:113-117 [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:119-125 [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:127-128 [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:129-133 [Journal]
- Thomas A. Henzinger
Sooner is Safer Than Later. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:43, n:3, pp:135-141 [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:143-146 [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:147-153 [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:155-160 [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:161-164 [Journal]
- Do-Hyung Kim, Kwang-Moo 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]
|