Journal: J. Comput. Syst. Sci.

Volume 16, Issue 3

275 -- 300Rina S. Cohen, Arie Y. Gold. Omega-Computations on Deterministic Pushdown Machines
301 -- 322Arne T. Jonassen, Donald E. Knuth. A Trivial Algorithm Whose Analysis Isn t
323 -- 332Derek C. Oppen. A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic
333 -- 344Francis Y. L. Chin, David Houck. Algorithms for Updating Minimal Spanning Trees
345 -- 361Hermann A. Maurer, Arto Salomaa, Derick Wood. ETOL Forms
362 -- 399Calvin C. Elgot, Stephen L. Bloom, Ralph Tindell. On the Algebraic Atructure of Rooted Trees
400 -- 412P. F. Schuler. Inductive Definability in Formal Language Theory
413 -- 417David P. Dobkin, Richard J. Lipton. A Lower Bound of the ½n² on Linear Search Programs for the Knapsack Problem
418 -- 422Juris Hartmanis, Leonard Berman. On Polynomial Time Isomorphisms of Some New Complete Sets
423 -- 444Paul M. B. Vitányi, Walter J. Savitch. On Inverse Deterministic Pushdown Transductions
445 -- 455Andrew G. Barto. A Note on Pattern Reproduction in Tessellation Structures
456 -- 461Detlef Wotschke. Nondeterminism and Boolean Operations in PDAs

Volume 16, Issue 2

124 -- 139Richard J. Lipton, Larry J. Stockmeyer. Evaluation of Polynomials with Super-Preconditioning
140 -- 157Zvi Galil. Palindrome Recognition in Real Time by a Multitape Turing Machine
158 -- 167Mike Paterson, Mark N. Wegman. Linear Unification
168 -- 184Kenneth L. Manders, Leonard M. Adleman. NP-Complete Decision Problems for Binary Quadratics
185 -- 225Thomas J. Schaefer. On the Complexity of Some Two-Person Perfect-Information Games
226 -- 274Leonidas J. Guibas, Endre Szemerédi. The Analysis of Double Hashing

Volume 16, Issue 1

1 -- 22Theodore P. Baker. Natural Properties of Flowchart Step-Counting Measures
23 -- 36Michael B. Smyth. Power Domains
37 -- 55Janusz A. Brzozowski, Robert Knast. The Dot-Depth Hierarchy of Star-Free Languages is Infinite
56 -- 66Torleiv Kløve. On Complements of Unary L Languages
67 -- 99Joost Engelfriet, Erik Meineche Schmidt. IO and OI. II
100 -- 122J. Berger, C. Pair. Inference for Regular Bilanguages