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