External Links

    Journal: Theory Comput. Syst.

    Volume 22, Issue 4

    227 -- 254Stephen J. Hegner. Algebraic Representation of Dynamics and Behavior for Continuous-Time Linear Systems
    255 -- 273Darrell Williamson, Robert E. Skelton. Optimal q-Markov COVER for Finite Wordlength Implementation
    275 -- 289Liyi Dai. Strong Decoupling in Singular Systems
    291 -- 322F. Celle, J. P. Gauthier, D. Kazakos, G. Sallet. Synthesis of Nonlinear Observers: A Harmonic-Analysis Approach
    323 -- 346E. M. Hemerly, M. H. A. Davis. Recursive Order Estimation of Stochastic Control Systems

    Volume 22, Issue 3

    151 -- 159Tero Harju, H. C. M. Kleijn. Cardinality Problems of Composition of Morphisms and Inverse Morphisms
    161 -- 175Volker Diekert, Walter Vogler. On the Synchronization of Traces
    177 -- 211Hangju Cho, Steven I. Marcus. Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations
    213 -- 219Wijesuriya Dayawansa, David Elliott, Clyde Martin. Feedback Transformations on Tori

    Volume 22, Issue 2

    75 -- 107Dirk Janssens, Grzegorz Rozenberg. Actor Grammars
    109 -- 148Madanpal S. Verma, James C. Romig. Reduced-Order Controllers in H^/infty-Optimal Synthesis Methods of the First Kind

    Volume 22, Issue 1

    1 -- 19IJsbrand Jan Aalbersberg, Hendrik Jan Hoogeboom. Characterizations of the Decidability of Some Problems for Regular Trace Languages
    21 -- 35Steven Homer, Jie Wang. Absolute Results Concerning One-Way Functions and Their Applications
    37 -- 45Andrew Klapper. Generalized Lowness and Highness and Probabilistic Complexity Classes
    47 -- 73Satoru Miyano. The Lexicographically First Maximum Subgraph Problems: P-Completeness and NC Algorithms
    runs on