|
Journals in DBLP
- Andrzej Szalas
Arithmetical Axiomatization of First-Order Temporal Logic. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:111-116 [Journal]
- Ondrej Sýkora, Imrich Vrto
Tight Chip Area Lower Bounds for String Matching. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:117-119 [Journal]
- M. Zhu, N. K. Loh, Pepe Siy
Towards the Minimum Set of Primitive Relations in Temporal Logic. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:121-126 [Journal]
- Y. Hou
Trinity Algebra and its Application to Machine Decompositions. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:127-134 [Journal]
- A. S. M. Sajeev, J. Olszewski
Manipulation of Data Structures Without Pointers. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:135-143 [Journal]
- Shlomo Moran, Yaron Wolfstahl
Extended Impossibility Results for Asynchronous Complete Networks. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:145-151 [Journal]
- Johan Håstad
One-Way Permutations in NC0. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:153-155 [Journal]
- Michael R. Fellows, Michael A. Langston
Nonconstructive Advances in Polynomial-Time Complexity. [Citation Graph (1, 0)][DBLP] Inf. Process. Lett., 1987, v:26, n:3, pp:155-162 [Journal]
|