Journals in DBLP

Inf. Process. Lett.
1982, volume: 14, number: 2

1. Luis Fariñas del Cerro
   A Simple Deduction Method for Modal Logic. [Citation Graph (1, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:49-51 [Journal]
   
2. A. O. Slisenko
   Context-Free Grammars as a Tool for Describing Polynomial-Time Subclasses of Hard Problems. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:52-56 [Journal]
   
3. Marc H. Graham, Alberto O. Mendelzon
   Strong Equivalence of Relational Wxpressions Under Dependencies. [Citation Graph (4, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:57-62 [Journal]
   
4. J. C. Lagarias, D. E. Swartwout
   Minimal Storage Representations for Binary Relations. [Citation Graph (1, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:63-66 [Journal]
   
5. Giuseppina C. Gini
   The Automatic Synthesis of Iterative Programs. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:67-73 [Journal]
   
6. Herbert Edelsbrunner, Hermann A. Maurer, David G. Kirkpatrick
   Polygonal Intersection Searching. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:74-79 [Journal]
   
7. Jan A. Bergstra, John-Jules Ch. Meyer
   A Simple Transfer Lemma for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:80-85 [Journal]
   
8. Eli Upfal
   Formal Correctness Proofs of a Nondeterministic Program. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:86-92 [Journal]
   
9. Ludek Kucera
   Parallel Computation and Conflicts in Memory Access. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:2, pp:93-96 [Journal]