Journal: Theory Comput. Syst.

Volume 16, Issue 3

191 -- 231Bruno Courcelle. An Axiomatic Approach to the Korenjak-Hopcroft Algorithms
233 -- 249Nicholas Kalouptsidis. Prolongations and Lyapunov Functions in Control Systems
251 -- 266C. G. Nolte, G. Naudé. Duality Between Reachability and Observability for Adjoint Systems
267 -- 287Mark A. Shayman. On the Periodic Solutions of the Matrix Riccati Equation