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