Journal: J. Comput. Syst. Sci.

Volume 10, Issue 1

1 -- 43Joseph A. Goguen. Discrete-Time Machines in Closed Monoidal Categories. I
44 -- 61Victor Harnik. Effective Proper Procedures and Universal Classes of Program Schemata
62 -- 76Ivan Hal Sudborough. On Tape-Bounded Complexity Classes and Multihead Finite Automata
77 -- 82Serafino Amoroso, Gerald Cooper, Yale N. Patt. Some Clarifications of the Concept of a Garden-of-Eden Configuration
83 -- 87James C. Owings. Splitting a Context-Sensitive Set
88 -- 109Donald I. Kiel. Two-way A-Transducers and AFL
110 -- 135Edward A. Ashcroft. Proving Assertions about Parallel Programs
136 -- 163Aravind K. Joshi, Leon S. Levy, Masako Takahashi. Tree Adjunct Grammars