External Links

    Journal: Theory Comput. Syst.

    Volume 2, Issue 4

    287 -- 318Joachim Lambek. Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories
    319 -- 324P. J. Kahn, Anthony W. Knapp. Equivariant Maps onto Minimal Flows
    325 -- 339Ronald L. Graham. On Finite 0-Simple Semigroups and Graph Theory
    341 -- 355Arto Salomaa. On Regular Expressions and Regular Canonical Systems
    357 -- 361Mihajlo D. Mesarovic. On Some Metamathematical Results As Properties of General Systems
    363 -- 379P. C. Baayen, J. de Groot. Linearization of Locally Compact Transformation Groups in Hilbert Space
    381 -- 0Paul Zeiger. Correction: Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata
    381 -- 0James A. Yorke. Correction: Invariance for Ordinary Differential Equations

    Volume 2, Issue 3

    191 -- 194William F. Ogden. A Helpful Result for Proving Inherent Ambiguity
    195 -- 202Otomar Hájek. Linear Semi-Dynamical Systems
    203 -- 222Mihajlo D. Mesarovic. Auxiliary Functions and Constructive Specification of General Systems
    223 -- 245Azaria Paz. Homomorphisms Between Stochastic Sequential Machines and Related Problems
    247 -- 249Nelson G. Markley. Transitive Homeomorphisms of the Circle
    251 -- 256Czeslaw Olech. On the Range of an Unbounded Vector-Valued Measure
    257 -- 263Michael J. Fischer, Arnold L. Rosenberg. Real-Time Solutions of the Origin-Crossing Problem
    265 -- 283Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg. Counter Machines and Counter Languages

    Volume 2, Issue 2

    97 -- 125Alfred V. Aho, Jeffrey D. Ullman. The Theory of Languages
    127 -- 145Donald E. Knuth. Semantics of Context-Free Languages
    147 -- 158György E. Révész. An Efficient Syntactic Analyser of Certain Formal Languages
    159 -- 177Seymour Ginsburg, Edwin H. Spanier. Control Sets on Grammars
    179 -- 190Frank Hahn, William Parry. Some Characteristic Properties of Dynamical Systems with Quasi-discrete Spectra

    Volume 2, Issue 1

    1 -- 6Sheila A. Greibach. A Note on Undecidable Properties of Formal Languages
    7 -- 15E. Hemmingsen, William L. Reddy. Lifting and Projecting Expansive Homeomorphisms
    17 -- 25Otomar Hájek. Local Characterisation of Load Semi-Dynamical Systems
    27 -- 50John R. Isbell. Small Subcategories and Completeness
    51 -- 56T. F. Bridgland Jr.. A Criterion for Weak Controllability
    57 -- 81James W. Thatcher, Jesse B. Wright. Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic
    83 -- 90Gabriel Thierrin. Permutation Automata
    91 -- 95William L. Reddy. Lifting Expansive Homeomorphisms to Symbolic Flows
    runs on