Journal: Theory Comput. Syst.

Volume 20, Issue 4

235 -- 252Shai Simonson. A Variation on the Min Cut Linear Arrangement Problem
253 -- 260Friedrich Otto. Finite Canonical Rewriting Systems for Congruences Generated by Concurrency Relations
261 -- 271Michel Latteux, Paavo Turakainen. A New Normal Form for the Compositions of Morphisms and Inverse Morphisms
273 -- 282Paavo Turakainen. The Equivalence of Deterministic GSM Replications on Q-Rational Languages is Decidable
305 -- 306A. J. van der Schaft. Correction: On Realization of Nonlinear Systems Described by Higher-Order Differential Equations

Volume 20, Issue 2-3

83 -- 127Michel Bauderon, Bruno Courcelle. Graph Expressions and Graph Rewritings
129 -- 136David A. Russo, Pekka Orponen. On P-Subset Structures
137 -- 153John N. Tsitsiklis. On the Stability of Asynchronous Iterative Processes
155 -- 168Jorge L. Aravena, William A. Porter. State Representations for m-D Systems with Generalized Causality Structures
169 -- 192J. William Helton, Leiba Rodman. Vandermonde and Resultant Matrices: An Abstract Approach
193 -- 213T. Huillet, A. Monin, G. Salut. Lie Algebraic Canonical Representations in Nonlinear Control Systems
215 -- 233J. Tsinias, Nicholas Kalouptsidis. Prolongations and Stability Analysis via Lyapunov Functions of Dynamical Polysystems

Volume 20, Issue 1

1 -- 11Marius Zimand. On Relativizations with Restricted Number of Accesses to the Oracle Set
13 -- 29Christopher B. Wilson. Relativized NC
31 -- 41Tat-hung Chan. On Two-Way Weak Counter Machines
43 -- 52Dan Gordon. On the Computational Power of Totalistic Cellular Automata
53 -- 82Shun-ichi Amari. Differential Geometry of a Parametric Family of Invertible Linear Systems - Riemannian Metric, Dual Affine Connections, and Divergence