Information and Computation, Volume 81

Volume 81, Number 1, 1989

Jerzy Tiuryn: A Simplified Proof of DDL < DL. 1-12 BibTeX
Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Reasoning about Networks with Many Identical Finite State Processes. 13-31 BibTeX
Alan Gibbons, Wojciech Rytter: Optimal Parallel Algorithm for Dynamic Expression Evaluation and Context-Free Recognition. 32-45 BibTeX
Aviezri S. Fraenkel: The Use and Usefulness of Numeration Systems. 46-61 BibTeX
Ker-I Ko: Distinguishing Conjunctive and Disjunctive Reducibilities by Sparse Sets. 62-87 BibTeX
Joost Engelfriet, George Leih: Linear Graph Grammars: Power and Complexity. 88-121 BibTeX

Thierry Coquand, Carl A. Gunter, Glynn Winskel: Domain Theoretic Models of Polymorphism. 123-167 BibTeX
V. Michele Abrusci, Gianfranco Mascari: A Logic of Recursion. 168-226 BibTeX
Robin Milner: A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors. 227-247 BibTeX

Robert S. Streett, E. Allen Emerson: An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. 249-264 BibTeX
Géraud Sénizergues: Church-Rosser Controller Rewriting Systems and Equivalence problems for Deterministic Context-Free Languages. 265-279 BibTeX
Sorin Istrail: An Arithmetical Hierarchy in Propositional Dynamic Logic. 280-289 BibTeX
Karel Hrbacek: Convex Powerdomains II. 290-317 BibTeX
Don Coppersmith, Prabhakar Raghavan, Martin Tompa: Parallel Graph Algorithms That Are Efficient on Average. 318-333 BibTeX
Richard Cole, Uzi Vishkin: Faster Optimal Parallel Prefix Sums and List Ranking. 334-352 BibTeX
H.-J. Stoß, W. Schnitzlein: Linear-Time Simulation of Multihead Turing Machines. 353-363 BibTeX
Dan E. Willard, John H. Reif: Parallel Processing Can Be Harmful: The Unusual Behavior of Interpolation Search. 364-379 BibTeX