researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: J. Comput. Syst. Sci.
Home
Index
Info
Issue
Volume
10
, Issue
3
317
--
339
Catriel Beeri
.
Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata
340
--
350
Leslie G. Valiant
,
Mike Paterson
.
Deterministic One-Counter Automata
351
--
369
Jonathan Goldstine
.
Some Independent Families of One-Letter Languages
370
--
383
Giorgio Germano
,
Andrea Maggiolo-Schettini
.
Proving a Compiler Correct: A Simple Approach
384
--
393
Jeffrey D. Ullman
.
NP-Complete Scheduling Problems
394
--
427
Teresemarie McCloskey
.
Abstract Families of Length-Preserving Processors