External Links

    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
    runs on