Journals in DBLP

Inf. Process. Lett.
1983, volume: 16, number: 3

1. Robert L. Constable
   Programs as Proofs: A Synopsis. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:105-112 [Journal]
   
2. Robert J. McGlinn
   Is SSS* Better Than Alpha-Beta? [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:113-120 [Journal]
   
3. Eljas Soisalon-Soininen
   On Computing Approximate Convex Hulls. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:121-126 [Journal]
   
4. Wojciech Rytter
   Time Complexity of Loop-Free Two-Way Pushdown Automata. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:127-129 [Journal]
   
5. Markku Tamminen
   Analysis of N-Trees. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:131-137 [Journal]
   
6. Toshitsugu Yuba, Yoshinori Yamaguchi, Toshio Shimada
   A Control Mechanism of a Lisp-Based Data-Driven Machine. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:139-143 [Journal]
   
7. Rakesh Agrawal, David J. DeWitt
   Updating Hypothetical Data Bases. [Citation Graph (7, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:145-146 [Journal]
   
8. I. K. Rystsov
   Polynomial Complete Problems in Automata Theory. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:147-151 [Journal]
   
9. Marco A. Casanova
   The Theory of Functional and Subset Dependencies Over Relational Expressions. [Citation Graph (1, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:3, pp:153-160 [Journal]