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
Volume 116, Number 2, 1995
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
Copyright ©
Sat May 16 23:59:58 2009 by
Michael Ley
(
ley@uni-trier.de
)