Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Math.~Systems Theory AND Volume=15
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Lower bounds on the efficiency of transforming static data structures into dynamic structures
Kurt Mehlhorn
Math. Systems Theory
15
, 1982, pp. 1-16
k
-visit attribute grammars
Hanne Riis
,
Sven Skyum
Math. Systems Theory
15
, 1982, pp. 17-28
Recursive paths in cross-connected trees and an application to cell spaces
Hans Georg Carstens
,
Ulrich Golze
Math. Systems Theory
15
, 1982, pp. 29-37
A new performance measure for stochastic optimization in Hilbert space
A. Feintuch
,
R. Saeks
,
C. Neil
Math. Systems Theory
15
, 1982, pp. 39-54
Realization theory of infinite-dimensional linear systems. Part I
Yutaka Yamamoto
Math. Systems Theory
15
, 1982, pp. 55-77
Contrôlabilité des systèmes bilinéaires
Bernard Bonnard
Math. Systems Theory
15
, 1982, pp. 79-92
Three hierarchies of transducers
Joost Engelfriet
Math. Systems Theory
15
, 1982, pp. 95-125
Complexity classes and theories of finite models
James F. Lynch
Math. Systems Theory
15
, 1982, pp. 127-144
Hamiltonian dynamics with external forces and observations
A.J. van der Schaft
Math. Systems Theory
15
, 1982, pp. 145-168
Realization theory of infinite-dimensional linear systems. Part II
Yutaka Yamamoto
Math. Systems Theory
15
, 1982, pp. 169-190
Parallel random access machines with powerful instruction sets
Walter J. Savitch
Math. Systems Theory
15
, 1982, pp. 191-210
(Semi)alternating stack automata
Eitan M. Gurari
,
Oscar H. Ibarra
Math. Systems Theory
15
, 1982, pp. 211-224
Transductions of dags and trees
Tsutomu Kamimura
,
Giora Slutzki
Math. Systems Theory
15
, 1982, pp. 225-249
Finitary and infinitary interpretations of languages
H.A. Maurer
,
A. Salomaa
,
D. Wood
Math. Systems Theory
15
, 1982, pp. 251-265
In Scott-Strachey style denotational semantics, parallelism implies nondeterminism
David B. Benson
Math. Systems Theory
15
, 1982, pp. 267-275
Lie and Morse theory for periodic orbits of vector fields and matrix Riccati equations, I: General Lie-theoretic methods
Robert Hermann
,
Clyde Martin
Math. Systems Theory
15
, 1982, pp. 277-284
Semantics of looping programs in propositional dynamic logic
Francine Berman
Math. Systems Theory
15
, 1982, pp. 285-294
A priority queue in which initialization and queue operations take
O(\log\log D)
time
Donald B. Johnson
Math. Systems Theory
15
, 1982, pp. 295-309
A note on complete sets and transitive closure
Ronald V. Book
,
Celia Wrathall
Math. Systems Theory
15
, 1982, pp. 311-313
On reducing the number of states in a PDA
Jonathan Goldstine
,
John K. Price
,
Detlef Wotschke
Math. Systems Theory
15
, 1982, pp. 315-321
Stability analysis of the orbits of control systems
N. Kalouptsidis
,
D.L. Elliott
Math. Systems Theory
15
, 1982, pp. 323-342
The theory of equivalence of Pfaffian systems and input systems under feedback
Robert Hermann
Math. Systems Theory
15
, 1982, pp. 343-356
Some classes of automata as partially ordered sets
Masami Ito
Math. Systems Theory
15
, 1982, pp. 357-370
A note on single input controllability for normal systems
A.R. Lubin
Math. Systems Theory
15
, 1982, pp. 371-373