Sublogarithmic-space turing machines, nonuniform space complexity, and closure properties Oscar H. IbarraBala Ravikumar OriginalPaper Pages: 1 - 17
Equivalence of input-output stability and exponential stability for infinite-dimensional systems Ruth F. Curtain OriginalPaper Pages: 19 - 48
A convolution method for inverse heat conduction problems D. S. GilliamB. A. MairC. F. Martin OriginalPaper Pages: 49 - 60
Exact linearization of nonlinear systems with outputs D. ChengA. IsidoriT. J. Tarn OriginalPaper Pages: 63 - 83
Minimum-diameter cyclic arrangements in mapping data-flow graphs onto VLSI arrays P. ErdösI. KorenS. Zaks OriginalPaper Pages: 85 - 98
A second step toward the strong polynomial-time hierarchy Leen Torenvliet OriginalPaper Pages: 99 - 123
Variants of top-down tree transducers with look-ahead Zoltán FülöpSándor Vágvölgyi OriginalPaper Pages: 125 - 145
Synthesis of 165-1165-1165-1-optimal linear feedback systems Madanpal S. Verma OriginalPaper Pages: 165 - 186
The monadic second-order logic of graphs, II: Infinite graphs of bounded width Bruno Courcelle OriginalPaper Pages: 187 - 221
Comparisons between some pumping conditions for context-free languages R. HewettG. Slutzki OriginalPaper Pages: 223 - 233
Functional expansions for nonlinear discrete-time systems Salvatore MonacoDorothée Normand-Cyrot OriginalPaper Pages: 235 - 254