Information and Computation, Volume 92

Volume 92, Number 1, 1991

Richard Cole, Uzi Vishkin: Approximate Parallel Scheduling. II. Applications to Logarithmic-Time Optimal Parallel Graph Algorithms. 1-47
Felice Cardone, Mario Coppo: Type Inference with Recursive Types: Syntax and Semantics. 48-80
Scot W. Hornick, Franco P. Preparata: Deterministic P-RAM Simulation with Constant Redundancy. 81-96
John G. Geske, Dung T. Huynh, Joel I. Seiferas: A Note on Almost-Everywhere-Complex Sets and Separating Deterministic-Time-Complexity Classes. 97-104
Arnon Avron: Simple Consequence Relations. 105-140

Walter Cunto, Gaston H. Gonnet, J. Ian Munro, Patricio V. Poblete: Fringe Analysis for Extquick: An in Situ Distributive External Sorting Algorithm. 141-160
Samson Abramsky: A Domain Equation for Bisimulation. 161-218
Jianzhong Du, Joseph Y.-T. Leung, Gilbert H. Young: Scheduling Chain-Structured Tasks to Minimize Makespan and Mean Flow Time. 219-236
H. Venkateswaran: Two Dynamic Programming Algorithms for Which Intepreted Pebbling Helps. 237-252
Efim B. Kinber, Thomas Zeugmann: One-Sided Error Probabilistic Inductive Inference and Reliable Frequency Identification. 253-284