External Links

    Journal: Theory Comput. Syst.

    Volume 16, Issue 4

    229 -- 235Walter J. Savitch. A Note on Relativized Log Space
    237 -- 263Irène Guessarian. Pushdown Tree Automata
    265 -- 296Jacob Hammer. Stability and Nonsingular Stable Precompensation: An Algebraic Approach
    297 -- 306Robert Hermann, Clyde Martin. Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, II
    307 -- 317R. S. Bucy. Identification and Filtering

    Volume 16, Issue 3

    191 -- 231Bruno Courcelle. An Axiomatic Approach to the Korenjak-Hopcroft Algorithms
    233 -- 249Nicholas Kalouptsidis. Prolongations and Lyapunov Functions in Control Systems
    251 -- 266C. G. Nolte, G. Naudé. Duality Between Reachability and Observability for Adjoint Systems
    267 -- 287Mark A. Shayman. On the Periodic Solutions of the Matrix Riccati Equation

    Volume 16, Issue 2

    95 -- 109Ker-I Ko. On the Definitions of some Complexity Classes of Real Numbers
    111 -- 131Rohit Parikh. Some Applications of Topology to Program Semantics
    133 -- 157Georges Hansel, Dominique Perrin. Codes and Bernoulli Partitions
    159 -- 183Jack W. Carlyle, Sheila A. Greibach, Azaria Paz. Matching and Spanning in Certain Planar Graphs
    185 -- 188Pamela G. Coxson. A Note on Memoryless Operators

    Volume 16, Issue 1

    1 -- 8Franco P. Preparata. Optimal Three-Dimensional VLSI Layouts
    9 -- 27Sowmitri Swamy, John E. Savage. Space-Time Tradeoffs for Linear Recursion
    29 -- 56Alexander Borgida. Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics
    57 -- 60Ronald V. Book. A Note on Special Thue Systems with a Single Defining Relation
    61 -- 66Eitan M. Gurari, Oscar H. Ibarra. A Note on Finitely-Valued and Finitely Ambiguous Transducers
    67 -- 77Romano M. DeSantis, William A. Porter. Operator Factorization on Partially Ordered Hilbert Resolution Spaces
    79 -- 91Andrea Bacciotti, Gianna Stefani. On the Relationship Between Global and Local Controllability
    runs on