External Links

    Journal: Theory Comput. Syst.

    Volume 21, Issue 4

    187 -- 221Bruno Courcelle. The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded Width
    223 -- 233Rattikorn Hewett, Giora Slutzki. Comparisons Between Some Pumping Conditions for Context-Free Languages
    235 -- 254Salvatore Monaco, Dorothée Normand-Cyrot. Functional Expansions for Nonlinear Discrete-Time Systems

    Volume 21, Issue 3

    125 -- 145Zoltán Fülöp, Sándor Vágvölgyi. Variants of Top-Down Tree Transducers With Look-Ahead
    147 -- 164Dietmar Salamon. Realization Theory in Hilbert Space
    165 -- 186Madanpal S. Verma. Synthesis of H^/infty-Optimal Linear Feedback Systems

    Volume 21, Issue 2

    63 -- 83D. Cheng, A. Isidori, Witold Respondek, Tzyh Jong Tarn. Exact Linearization of Nonlinear Systems with Outputs
    85 -- 98Paul Erdös, Israel Koren, Shlomo Moran, Gabriel M. Silberman, Shmuel Zaks. Minimum-Diameter Cyclic Arrangements in Mapping Data-Flow Graphs onto VLSI Arrays
    99 -- 123Leen Torenvliet. A Second Step Toward the Strong Polynomial-Time Hierarchy

    Volume 21, Issue 1

    1 -- 17Oscar H. Ibarra, Bala Ravikumar. Sublogarithmic-Space Turing Machines, Nonuniform Space Complexity, and Closure Properties
    19 -- 48Ruth F. Curtain. Equivalence of Input-Output Stability and Exponential Stability for Infinite-Dimensional Systems
    49 -- 60David S. Gilliam, Bernard Anthony Mair, C. F. Martin. A Convolution Method for Inverse Heat Conduction Problems
    61 -- 0J. William Helton, Leiba Rodman. Correction: Vandermonde and Resultant Matrices: An Abstract Approach
    runs on