JCSS, Volume 19

Volume 19, Number 1, August 1979

C. Pair, M. Amirchahy, D. Neel: Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. 1-17 BibTeX
Carlton J. Maxson, Kirby C. Smith: Automorphisms of Linear Automata. 18-26 BibTeX
Mitchell Wand: Final Algebra Semantics and Data Type Extensions. 27-44 BibTeX
Meera Blattner, Tom Head: The Decidability of Equivalence for Deterministic Finite Transducers. 45-49 BibTeX
David B. Benson: Parameter Passing in Nondeterministic Recursive Programs. 50-62 BibTeX
Michael A. Harrison, Amiram Yehudai: A Hierarchy of Deterministic Languages. 63-78 BibTeX
Emily P. Friedman, Sheila A. Greibach: Superdeterministic DPDAS: The Method for Accepting Does Affect Decision Problems. 79-117 BibTeX

Tero Harju: A Simulation Result for the Auxiliary Pushdown Automata. 119-132 BibTeX
Giorgio Germano, Andrea Maggiolo-Schettini: Computable Stack Functions for Semantics of Stack Programs. 133-144 BibTeX
Eitan M. Gurari, Oscar H. Ibarra: Simple Counter Machines and Number-Theoretic Problems. 145-162 BibTeX
Jirí Adámek, Václav Koubek: Least Fixed Point of a Functor. 163-178 BibTeX
Grzegorz Rozenberg, Dirk Vermeir: On Recursion in ET0L Systems. 179-196 BibTeX
Wolfgang J. Paul: On Time Hierarchies. 197-202 BibTeX
Tom Head: Codeterministic Lindenmayer Schemes and Systems. 203-210 BibTeX

Sharad V. Kanetkar, Meghanad D. Wagh: Group Character Tables in Discrete Transform Theory. 211-221 BibTeX
Harry B. Hunt III: Observations on the Complexity of Regular Expression Problems. 222-236 BibTeX
Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Rank. 237-255 BibTeX
Ronald V. Book, Sheila A. Greibach, Celia Wrathall: Reset Machines. 256-276 BibTeX
G. Naudé: Universal Realization. 277-289 BibTeX
Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever: Semantics of Nondeterminism, Concurrency, and Communication. 290-308 BibTeX
Akihiro Nozaki: Sorting Using Networks of Deques. 309-315 BibTeX