Volume 64, Number 1, 1989
: On the Representation of Rational Functions of Bounded Complexity.
, Kazushi Seino
: A Direct Branching Algorithm for Checking the Equivalence of Two Deterministic Pushdown Transducers, one of which is Real-Time Strict.
Volume 64, Number 2, 1989
: Design Factors for Parallel Processing Benchmarks.
Volume 64, Number 3, 1989