Journal: J. Comput. Syst. Sci.

Volume 8, Issue 3

272 -- 314David S. Johnson. Fast Algorithms for Bin Packing
315 -- 332Brenda S. Baker, Ronald V. Book. Reversal-Bounded Multipushdown Machines
333 -- 365Joseph A. Goguen. On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs
366 -- 386Allan Borodin, R. Moenck. Fast Modular Transforms
387 -- 408A. J. Kfoury. Translatability of Schemas over Restricted Interpretations
409 -- 439T. S. E. Maibaum. A Generalized Approach to Formal Languages

Volume 8, Issue 2

117 -- 141Yaacov Choueka. Theories of Automata on omega-Tapes: A Simplified Approach
142 -- 157Nabil A. Khabbaz. A Geometric Hierarchy of Languages
158 -- 166Armin B. Cremers, Otto Mayer. On Vector Languages
167 -- 189Yoshihide Igarashi, Namio Honda. Deterministic Multitape Automata Computations
190 -- 219Patrick C. Fischer, John C. Warkentin. Predecessor Machines
220 -- 237Edward K. Blum, Garry H. Rodrigue. Solution of Eigenvalue Problems in Hilbert Spaces by a Gradient Method
238 -- 242György E. Révész. Comment on the Paper Error Detection in Formal Languages
243 -- 269Seymour Ginsburg, Gene F. Rose. The Equivalence of Stack Counter Acceptors and Quasi-Realtime Acceptors

Volume 8, Issue 1

1 -- 7S. J. Walljasper. Left-Derivation Bounded Languages
8 -- 21Johnson M. Hart. Ambiguity and Decision Problems for Local Adjunct Languages
22 -- 35Richard S. Bird. On Transformations of Programs
36 -- 40J. P. Crestin. Structure des Grammaires d Ambiguïté Bornée
41 -- 70Ratan K. Guha, Raymond T. Yeh. On Periodicity of Sequential Machines
71 -- 83Harry R. Lewis. Program Schemata and the First-Order Decision Problem
84 -- 116Toshihide Ibaraki. Classes of Discrete Optimization Problems and Their Decision Problems