Mathematical Systems Theory, Volume 16

Volume 16, Number 1, February 1983

Franco P. Preparata: Optimal Three-Dimensional VLSI Layouts. 1-8
Sowmitri Swamy, John E. Savage: Space-Time Tradeoffs for Linear Recursion. 9-27
Alexander Borgida: Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. 29-56
Ronald V. Book: A Note on Special Thue Systems with a Single Defining Relation. 57-60
Eitan M. Gurari, Oscar H. Ibarra: A Note on Finitely-Valued and Finitely Ambiguous Transducers. 61-66
Romano M. DeSantis, William A. Porter: Operator Factorization on Partially Ordered Hilbert Resolution Spaces. 67-77
Andrea Bacciotti, Gianna Stefani: On the Relationship Between Global and Local Controllability. 79-91

Ker-I Ko: On the Definitions of some Complexity Classes of Real Numbers. 95-109
Rohit Parikh: Some Applications of Topology to Program Semantics. 111-131
Georges Hansel, Dominique Perrin: Codes and Bernoulli Partitions. 133-157
Jack W. Carlyle, Sheila A. Greibach, Azaria Paz: Matching and Spanning in Certain Planar Graphs. 159-183
Pamela G. Coxson: A Note on Memoryless Operators. 185-188

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

Walter J. Savitch: A Note on Relativized Log Space. 229-235
Irène Guessarian: Pushdown Tree Automata. 237-263
Jacob Hammer: Stability and Nonsingular Stable Precompensation: An Algebraic Approach. 265-296
Robert Hermann, Clyde Martin: Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, II. 297-306
R. S. Bucy: Identification and Filtering. 307-317