Information and Computation, Volume 116

Volume 116, Number 1, 1995

Michiel H. M. Smid: Dynamic Rectangular Point Location, with an Application to the Closest Pair Problem. 1-9 BibTeX
Michael Huth: A Maximal Monoidal Closed Category of Distributive Algebraic Domains. 10-25 BibTeX
Juanito Camilleri, Glynn Winskel: CCS with Priority Choice. 26-37 BibTeX
Bent Thomsen: A Theory of Higher Order Communicating Systems. 38-57 BibTeX
Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Computing Circumscriptive Databases: I. Theory and Algorithms. 58-80 BibTeX
Naoki Abe: Characterizing PAC-Learnability of Semilinear Sets. 81-102 BibTeX
Neil Immerman, Susan Landau: The Complexity of Iterated Multiplication. 103-116 BibTeX
Wayne Eberly: Fast Parallel Band Matrix Arithmetic. 117-127 BibTeX
Dafna Sheinwald, Abraham Lempel, Jacob Ziv: On Encoding and Decoding with Two-Way Head Machines. 128-133 BibTeX
Volker Diekert, Paul Gastin, Antoine Petit: Rational and Recognizable Complex Trace Languages. 134-153 BibTeX

Rudolf Fleischer, Hermann Jung, Kurt Mehlhorn: A Communication-Randomness Tradeoff for Two-Processor Systems. 155-161 BibTeX
Ulrich Tamm: Communication Complexity of Sum-Type Functions Invariant under Translation. 162-173 BibTeX
John Case, Sanjay Jain, Arun Sharma: Complexity Issues for Vacillatory Function Identification. 174-192 BibTeX
Steve Schneider: An Operational Semantics for Timed CSP. 193-213 BibTeX
Tomoyuki Yamakami: Feasible Computability and Resource Bounded Topology. 214-230 BibTeX
Zoltán Fülöp, Sándor Vágvölgyi: Attributed Tree Transducers Cannot Induce all Deterministic Bottom-Up Tree Transformations. 231-240 BibTeX
Gösta Grahne, Alberto O. Mendelzon: Updates and Subjunctive Queries. 241-252 BibTeX
David Walker: Objects in the pi-Calculus. 253-271 BibTeX
Roberto M. Amadio: A Quick Construction of a Retraction of All Retractions for Stable Bifinites. 272-274 BibTeX
Bruno Courcelle: Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement. 275-293 BibTeX
Jon G. Riecke: Statman's 1-Section Theorem. 294-303 BibTeX
S. C. Fang, J. R. Rajasekera: Entropy Optimization Models with Convex Constraints. 304-311 BibTeX