Journal: J. Comput. Syst. Sci.

Volume 10, Issue 3

317 -- 339Catriel Beeri. Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata
340 -- 350Leslie G. Valiant, Mike Paterson. Deterministic One-Counter Automata
351 -- 369Jonathan Goldstine. Some Independent Families of One-Letter Languages
370 -- 383Giorgio Germano, Andrea Maggiolo-Schettini. Proving a Compiler Correct: A Simple Approach
384 -- 393Jeffrey D. Ullman. NP-Complete Scheduling Problems
394 -- 427Teresemarie McCloskey. Abstract Families of Length-Preserving Processors