Journals in DBLP

Inf. Comput.
1993, volume: 105, number: 1

1. John C. Reynolds, Gordon D. Plotkin
   On Functors Expressible in the Polymorphic Typed Lambda Calculus [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:1-29 [Journal]
   
2. L. S. van Benthem Jutting
   Typing in Pure Type Systems [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:30-41 [Journal]
   
3. R. Hoofman
   Continuous Information Systems [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:42-71 [Journal]
   
4. William I. Gasarch, Lane A. Hemachandra, Albrecht Hoene
   On Checking Versus Evaluation of Multiple Queries [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:72-93 [Journal]
   
5. Hermann Jung, Lefteris M. Kirousis, Paul G. Spirakis
   Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling of Directed Acyclic Graphs with Communication Delays [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:94-104 [Journal]
   
6. Eric Sven Ristad
   The Anaphora Problem [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:105-131 [Journal]
   
7. Soma Chaudhuri
   More Choices Allow More Faults: Set Consensus Problems in Totally Asynchronous Systems [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:105, n:1, pp:132-158 [Journal]