External Links

    Journal: Theory Comput. Syst.

    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