JCSS, Volume 8

Volume 8, Number 1, February 1974

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

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

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