Mathematical Systems Theory, Volume 15

Volume 15, Number 1, December 1981

• Kurt Mehlhorn:
  Lower Bounds on the Efficiency of Transforming Static Data sSructures into Dynamic Structures. 1-16
  
• Hanne Riis Nielson, Sven Skyum:
  k-visit Attribute Grammars. 17-28
  
• Hans Georg Carstens, Ulrich Golze:
  Recursive Paths in Cross-Connected Trees and an Application to Cell Spaces. 29-37
  
• A. Feintuch, R. Saeks, C. Neil:
  A New Performance Measure for Stochastic Optimization in Hilbert Space. 39-54
  
• Yukata Yamamoto:
  Realization Theory of Infinite-Dimensional linear Systems - Part I. 55-77
  
• Bernard Bonnard:
  Contrôlabilité des systèmes bilinéaires. 79-92
  

Volume 15, Number 2, May 1982

• Joost Engelfriet:
  Three Hierarchies of Transducers. 95-125
  
• James F. Lynch:
  Complexity Classes and Theories of Finite Models. 127-144
  
• A. J. van der Schaft:
  Hamiltonian Dynamics with External Forces and Observations. 145-168
  
• Yukata Yamamoto:
  Realization Theory of Infinite-Dimensional Linear Systems. Part II. 169-190
  

Volume 15, Number 3, July 1982

• Walter J. Savitch:
  Parallel Random Access Machines with Powerful Instruction Sets. 191-210
  
• Eitan M. Gurari, Oscar H. Ibarra:
  (Semi)Alternating Stack Automata. 211-224
  
• Tsutomu Kamimura, Giora Slutzki:
  Transductions of Dags and Trees. 225-249
  
• Hermann A. Maurer, Arto Salomaa, Derick Wood:
  Finitary and Infinitary Interpretations of Languages. 251-265
  
• David B. Benson:
  In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism. 267-275
  
• Robert Hermann, Clyde Martin:
  Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, I: General Lie-Theoretic Methods. 277-284
  

Volume 15, Number 4, December 1982

• Francine Berman:
  Semantics of Looping Programs in Propositional Dynamic Logic. 285-294
  
• Donald B. Johnson:
  A Priority Queue in Which Initialization and Queue Operations Take O(log log D) Time. 295-309
  
• Ronald V. Book, Celia Wrathall:
  A Note on Complete Sets and Transitive Closure. 311-313
  
• Jonathan Goldstine, John K. Price, Detlef Wotschke:
  On Reducing the Number of States in a PDA. 315-321
  
• Nicholas Kalouptsidis, David L. Elliott:
  Stability Analysis of the Orbits of Control Systems. 323-342
  
• Robert Hermann:
  The Theory of Equivalence of Pfaffian Systems and Input Systems Under Feedback. 343-356
  
• Masami Ito:
  Some Classes of Automata as Partially Ordered Sets. 357-370
  
• A. R. Lubin:
  A Note on Single Input Controllability for Normal Systems. 371-373
  

Last update Tue Feb 14 04:21:35 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page