External Links

    Journal: Theory Comput. Syst.

    Volume 17, Issue 4

    263 -- 277Ronald V. Book, Alan L. Selman. Characterizations of Reduction Classes Modulo Oracle Conditions
    279 -- 291W. Herfort, Werner Kuich. Semitopological Semirings and Pushdown Automata
    293 -- 318P. E. Crouch, M. Irving. On Finite Volterra Series which Admit Hamiltonian Realizations
    319 -- 333J. S. A. Hepburn, W. Murray Wonham. Structurally Stable Nonlinear Regulation with Step Inputs
    335 -- 350C. K. Ong, G. M. Huang, Tzyh Jong Tarn, J. W. Clark. Invertibility of Quantum-Mechanical Control Systems
    351 -- 356S. Walczak. A Note on the Controllability of Nonlinear Systems

    Volume 17, Issue 3

    167 -- 191Dana Angluin, Douglas N. Hoover. Regular Prefix Relations
    193 -- 198Gianfranco Bilardi, Xiaolong Jin. Permutation-Exchange Graphs That Emulate the Binary Cube
    199 -- 215Jacques Sakarovitch, Taishin Y. Nishida, Youichi Kobuchi. Recurrent Words for Substitution
    217 -- 241John Murray. Time-Varying Systems and Crossed Products
    243 -- 261P. K. Palamides, Y. G. Sficas, V. A. Staikos. Wazewski s Topological Method for Caratheodory Systems

    Volume 17, Issue 2

    71 -- 84Hans Heller. Relativized Polynomial Hierarchies Extending Two Levels
    85 -- 96Oscar H. Ibarra, Brian S. Leininger, Louis E. Rosier. A Note on the Complexity of Program Evaluation
    97 -- 133Christopher I. Byrnes, Mark W. Spong, Tzyh Jong Tarn. A Several Complex Variables Approach to Feedback Stabilization of Linear Neutral Delay-Differential Systems
    135 -- 157Jacob Hammer, Pramod P. Khargonekar. Decoupling of Linear Systems by Dynamic Output Feedback
    159 -- 166L. R. Hunt, Renjeng Su. Observability for Two-Dimensional Systems

    Volume 17, Issue 1

    1 -- 0Arnold L. Rosenberg. Editorial: Special FOCS Issue - Twenty-Second Annual IEEE Symposium on Foundations of Computer Science
    3 -- 12Pavol Duris, Zvi Galil. A Time-Space Tradeoff for Language Recognition
    13 -- 27Merrick L. Furst, James B. Saxe, Michael Sipser. Parity, Circuits, and the Polynomial-Time Hierarchy
    29 -- 45Ravindran Kannan. Towards Separating Nondeterminism from Determinism
    47 -- 70Frank Thomson Leighton. New Lower Bound Techniques for VLSI
    runs on