Volume 15; Issue 1

Theory of Computing Systems

Volume 15; Issue 1
1

Lower bounds on the efficiency of transforming static data structures into dynamic structures

Kurt Mehlhorn
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 950 KB
english, 1981-1982
2

k-visit attribute grammars

Hanne Riis, Sven Skyum
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 619 KB
english, 1981-1982
3

Recursive paths in cross-connected trees and an application to cell spaces

Hans Georg Carstens, Ulrich Golze
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 609 KB
english, 1981-1982
4

A new performance measure for stochastic optimization in Hilbert space

A. Feintuch, R. Saeks, C. Neil
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.01 MB
english, 1981-1982
5

Realization theory of infinite-dimensional linear systems. Part I

Yutaka Yamamoto
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.44 MB
english, 1981-1982
6

Contrôlabilité des Systèmes Bilinéaires

Bernard Bonnard
Journal:
Theory of Computing Systems
Year:
1981-1982
File:
PDF, 826 KB
1981-1982
7

Three hierarchies of transducers

Joost Engelfriet
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 2.34 MB
english, 1981-1982
8

Complexity classes and theories of finite models

James F. Lynch
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 968 KB
english, 1981-1982
9

Hamiltonian dynamics with external forces and observations

A. J. van der Schaft
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.38 MB
english, 1981-1982
10

Realization theory of infinite-dimensional linear systems. Part II

Yutaka Yamamoto
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.18 MB
english, 1981-1982
11

Parallel random access machines with powerful instruction sets

Walter J. Savitch
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.60 MB
english, 1981-1982
12

(Semi)alternating stack automata

Eitan M. Gurari, Oscar H. Ibarra
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1006 KB
english, 1981-1982
13

Transductions of dags and trees

Tsutomu Kamimura, Giora Slutzki
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.57 MB
english, 1981-1982
14

In Scott-Strachey style denotational semantics, parallelism implies nondeterminism

David B. Benson
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 578 KB
english, 1981-1982
16

Semantics of looping programs in Propositional Dynamic Logic

Francine Berman
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 601 KB
english, 1981-1982
17

A priority queue in which initialization and queue operations takeO(loglogD) time

Donald B. Johnson
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 949 KB
english, 1981-1982
18

A note on complete sets and transitive closure

Ronald V. Book, Celia Wrathall
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 164 KB
english, 1981-1982
19

On reducing the number of states in a PDA

Jonathan Goldstine, John K. Price, Detlef Wotschke
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 407 KB
english, 1981-1982
20

Stability analysis of the orbits of control systems

N. Kalouptsidis, D. L. Elliott
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 1.13 MB
english, 1981-1982
21

The theory of equivalence of Pfaffian systems and input systems under feedback

Robert Hermann
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 594 KB
english, 1981-1982
22

Some classes of automata as partially ordered sets

Masami Ito
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 888 KB
english, 1981-1982
23

A note on single input controllability for normal systems

A. R. Lubin
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 144 KB
english, 1981-1982
24

In memoriam

Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 45 KB
english, 1981-1982
25

Finitary and infinitary interpretations of languages

H. A. Maurer, A. Salomaa, D. Wood
Journal:
Theory of Computing Systems
Year:
1981-1982
Language:
english
File:
PDF, 917 KB
english, 1981-1982