Computation sequence sets
Storage requirements for deterministic polynomialtime recognizable languages
A result on the equivalence problem for deterministicpushdown automata
On the sequential nature of functions
A nonlinear lower bound on linear search tree programs for solving knapsack problems
A characterization of automata and a direct product decomposition
Context-free grammars with graph-controlled tables
Complexity-class-encoding sets