Volume 15, Number 1, December 1981
export record as
dblp key:
Kurt Mehlhorn :
Lower Bounds on the Efficiency of Transforming Static Data sSructures into Dynamic Structures.
1-16
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mst/FeintuchSN81 export record as
dblp key:
Yukata Yamamoto :
Realization Theory of Infinite-Dimensional linear Systems - Part I.
55-77
export record as
dblp key:
Volume 15, Number 2, May 1982
export record as
dblp key:
journals/mst/Engelfriet82 export record as
dblp key:
James F. Lynch :
Complexity Classes and Theories of Finite Models.
127-144
export record as
dblp key:
export record as
dblp key:
Yukata Yamamoto :
Realization Theory of Infinite-Dimensional Linear Systems. Part II.
169-190
Volume 15, Number 3, July 1982
export record as
dblp key:
Walter J. Savitch :
Parallel Random Access Machines with Powerful Instruction Sets.
191-210
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David B. Benson :
In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism.
267-275
export record as
dblp key:
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
export record as
dblp key:
Francine Berman :
Semantics of Looping Programs in Propositional Dynamic Logic.
285-294
export record as
dblp key:
Donald B. Johnson :
A Priority Queue in Which Initialization and Queue Operations Take O(log log D) Time.
295-309
export record as
dblp key:
export record as
dblp key:
journals/mst/GoldstinePW82 export record as
dblp key:
journals/mst/KalouptsidisE82 export record as
dblp key:
Robert Hermann :
The Theory of Equivalence of Pfaffian Systems and Input Systems Under Feedback.
343-356
export record as
dblp key:
Masami Ito :
Some Classes of Automata as Partially Ordered Sets.
357-370
export record as
dblp key:
A. R. Lubin :
A Note on Single Input Controllability for Normal Systems.
371-373
data released under the ODC-BY 1.0 license
