Journal: J. Comput. Syst. Sci.

Volume 17, Issue 3

281 -- 299K. N. King, Celia Wrathall. Stack Languages and log n Space
300 -- 318Kojiro Kobayashi. The Firing Squad Synchronization Problem for a Class of Polyautomata Networks
319 -- 330T. S. E. Maibaum. Pumping Lemmas for Term Languages
331 -- 347Andrzej Ehrenfeucht, Grzegorz Rozenberg. On the Structure of Derivations in Deterministic ET0L Systems
348 -- 375Robin Milner. A Theory of Type Polymorphism in Programming
376 -- 387Tadao Takaoka. A Definition of Measures over Language Space
406 -- 431Bruno Courcelle, Irène Guessarian. On Some Classes of Interpretations
432 -- 441Moshe Rabinovitz. Closure Properties and Languages Defined by Bilinear Automata

Volume 17, Issue 2

145 -- 162Nicholas Pippenger. On Rearrangeable and Non-Blocking Switching Networks
163 -- 175Karel Culik II, Arto Salomaa. On the Decidability of Homomorphism Equivalence for Languages
176 -- 193Ulrich Golze. (A-)Synchronous (Non-)Deterministic Cell Spaces Simulating Each Other
194 -- 206Bernd Reusch. Realization of Finite Automata with Linear Parts
207 -- 208Suhir Aggarwal. A Note on Indecomposable Parallel Maps by S. Amoroso, and I. J. Epstein
209 -- 236Gordon D. Plotkin. T^omega as a Universal Domain
237 -- 252Lutz Priese. A Note on Asynchronous Cellular Automata
253 -- 269Dan Moore, John Case. The Complexity of Total Order Structures
270 -- 279Claudio L. Lucchesi, Sylvia L. Osborn. Candidate Keys for Relations

Volume 17, Issue 1

1 -- 34Yasuyoshi Inagaki, Toshiki Sakabe, Teruo Fukumura. Addressable Approximations to Nonaddressable Data Graphs
35 -- 55Anita K. Jones, Richard J. Lipton. The Enforcement of Security Policies for Computation
56 -- 64Seth Breidbart. On Splitting Recursive Sets
65 -- 80Masami Ito. A Representation of Strongly Connected Automata and its Applications
81 -- 97Yaacov Choueka. Finite Automata, Definable Sets, and Regular Expressions over omega^n-Tapes
98 -- 107Carlton J. Maxson, Kirby C. Smith. Endomorphisms of Linear Automata
108 -- 115William F. McColl. The Circuit Depth of Symmetric Boolean Functions
116 -- 143Stephen J. Hegner. Duality Theory for Discrete-Time Linear Systems