@article{Mehlhorn/82b,
AUTHOR = {Mehlhorn, Kurt},
TITLE = {Lower bounds on the efficiency of transforming static data structures into dynamic structures},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {1-16},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Riis-Skyum/82,
AUTHOR = {Riis, Hanne and Skyum, Sven},
TITLE = {$k$-visit attribute grammars},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {17-28},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Carstens-Golze/82,
AUTHOR = {Carstens, Hans Georg and Golze, Ulrich},
TITLE = {Recursive paths in cross-connected trees and an application to cell spaces},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {29-37},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Feintuch-Saeks-Neil/82,
AUTHOR = {Feintuch, A. and Saeks, R. and Neil, C.},
TITLE = {A new performance measure for stochastic optimization in Hilbert space},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {39-54},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Yamamoto/82,
AUTHOR = {Yamamoto, Yutaka},
TITLE = {Realization theory of infinite-dimensional linear systems. Part I},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {55-77},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bonnard/82,
AUTHOR = {Bonnard, Bernard},
TITLE = {Contr{\^o}labilit{\'e} des syst{\`e}mes bilin{\'e}aires},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {79-92},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Engelfriet/82,
AUTHOR = {Engelfriet, Joost},
TITLE = {Three hierarchies of transducers},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {95-125},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lynch/82,
AUTHOR = {Lynch, James F.},
TITLE = {Complexity classes and theories of finite models},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {127-144},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{van_der_Schaft/82,
AUTHOR = {van der Schaft, A.J.},
TITLE = {Hamiltonian dynamics with external forces and observations},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {145-168},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Yamamoto/82a,
AUTHOR = {Yamamoto, Yutaka},
TITLE = {Realization theory of infinite-dimensional linear systems. Part II},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {169-190},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Savitch/82,
AUTHOR = {Savitch, Walter J.},
TITLE = {Parallel random access machines with powerful instruction sets},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {191-210},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gurari-Ibarra/82b,
AUTHOR = {Gurari, Eitan M. and Ibarra, Oscar H.},
TITLE = {(Semi)alternating stack automata},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {211-224},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kamimura-Slutzki/82,
AUTHOR = {Kamimura, Tsutomu and Slutzki, Giora},
TITLE = {Transductions of dags and trees},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {225-249},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Maurer-Salomaa-Wood/82,
AUTHOR = {Maurer, H.A. and Salomaa, A. and Wood, D.},
TITLE = {Finitary and infinitary interpretations of languages},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {251-265},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Benson/82,
AUTHOR = {Benson, David B.},
TITLE = {In Scott-Strachey style denotational semantics, parallelism implies nondeterminism},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {267-275},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hermann-Martin/82,
AUTHOR = {Hermann, Robert and Martin, Clyde},
TITLE = {Lie and Morse theory for periodic orbits of vector fields and matrix Riccati equations, I: General Lie-theoretic methods},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {277-284},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Berman/82,
AUTHOR = {Berman, Francine},
TITLE = {Semantics of looping programs in propositional dynamic logic},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {285-294},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Johnson/82,
AUTHOR = {Johnson, Donald B.},
TITLE = {A priority queue in which initialization and queue operations take $O(\log\log D)$ time},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {295-309},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Book-Wrathall/82,
AUTHOR = {Book, Ronald V. and Wrathall, Celia},
TITLE = {A note on complete sets and transitive closure},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {311-313},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Goldstine-Price-Wotschke/82,
AUTHOR = {Goldstine, Jonathan and Price, John K. and Wotschke, Detlef},
TITLE = {On reducing the number of states in a PDA},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {315-321},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kalouptsidis-Elliott/82,
AUTHOR = {Kalouptsidis, N. and Elliott, D.L.},
TITLE = {Stability analysis of the orbits of control systems},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {323-342},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hermann/82,
AUTHOR = {Hermann, Robert},
TITLE = {The theory of equivalence of Pfaffian systems and input systems under feedback},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {343-356},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ito/82,
AUTHOR = {Ito, Masami},
TITLE = {Some classes of automata as partially ordered sets},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {357-370},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lubin/82,
AUTHOR = {Lubin, A.R.},
TITLE = {A note on single input controllability for normal systems},
JOURNAL = {Math.~Systems Theory},
VOLUME = {15},
PAGES = {371-373},
YEAR = {1982},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}