External Links

    Journal: Theory Comput. Syst.

    Volume 15, Issue 4

    285 -- 294Francine Berman. Semantics of Looping Programs in Propositional Dynamic Logic
    295 -- 309Donald B. Johnson. A Priority Queue in Which Initialization and Queue Operations Take O(log log D) Time
    311 -- 313Ronald V. Book, Celia Wrathall. A Note on Complete Sets and Transitive Closure
    315 -- 321Jonathan Goldstine, John K. Price, Detlef Wotschke. On Reducing the Number of States in a PDA
    323 -- 342Nicholas Kalouptsidis, David L. Elliott. Stability Analysis of the Orbits of Control Systems
    343 -- 356Robert Hermann. The Theory of Equivalence of Pfaffian Systems and Input Systems Under Feedback
    357 -- 370Masami Ito. Some Classes of Automata as Partially Ordered Sets

    Volume 15, Issue 3

    191 -- 210Walter J. Savitch. Parallel Random Access Machines with Powerful Instruction Sets
    211 -- 224Eitan M. Gurari, Oscar H. Ibarra. (Semi)Alternating Stack Automata
    225 -- 249Tsutomu Kamimura, Giora Slutzki. Transductions of Dags and Trees
    251 -- 265Hermann A. Maurer, Arto Salomaa, Derick Wood. Finitary and Infinitary Interpretations of Languages
    267 -- 275David B. Benson. In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism
    277 -- 284Robert Hermann, Clyde Martin. Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, I: General Lie-Theoretic Methods

    Volume 15, Issue 2

    95 -- 125Joost Engelfriet. Three Hierarchies of Transducers
    127 -- 144James F. Lynch. Complexity Classes and Theories of Finite Models
    145 -- 168A. J. van der Schaft. Hamiltonian Dynamics with External Forces and Observations
    169 -- 190Yukata Yamamoto. Realization Theory of Infinite-Dimensional Linear Systems. Part II

    Volume 15, Issue 1

    1 -- 16Kurt Mehlhorn. Lower Bounds on the Efficiency of Transforming Static Data sSructures into Dynamic Structures
    17 -- 28Hanne Riis Nielson, Sven Skyum. k-visit Attribute Grammars
    29 -- 37Hans Georg Carstens, Ulrich Golze. Recursive Paths in Cross-Connected Trees and an Application to Cell Spaces
    39 -- 54A. Feintuch, R. Saeks, C. Neil. A New Performance Measure for Stochastic Optimization in Hilbert Space
    55 -- 77Yukata Yamamoto. Realization Theory of Infinite-Dimensional linear Systems - Part I
    79 -- 92Bernard Bonnard. Contrôlabilité des systèmes bilinéaires
    runs on