Volume 17; Issue 1

Theory of Computing Systems

Volume 17; Issue 1
2

A time-space tradeoff for language recognition

Pavol Dúriś, Zvi Galil
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 606 KB
english, 1984
3

Parity, circuits, and the polynomial-time hierarchy

Merrick Furst, James B. Saxe, Michael Sipser
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 880 KB
english, 1984
4

Towards separating nondeterminism from determinism

Ravindran Kannan
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.01 MB
english, 1984
5

New lower bound techniques for VLSI

Frank Thomson Leighton
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.58 MB
english, 1984
6

Relativized polynomial hierarchies extending two levels

Hans Heller
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 860 KB
english, 1984
7

A note on the complexity of program evaluation

Oscar H. Ibarra, Brian S. Leininger, Louis E. Rosier
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 846 KB
english, 1984
9

Decoupling of linear systems by dynamic output feedback

Jacob Hammer, Pramod P. Khargonekar
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.62 MB
english, 1984
10

Observability for two-dimensional systems

L. R. Hunt, Renjeng Su
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 484 KB
english, 1984
11

Regular prefix relations

Dana Angluin, Douglas N. Hoover
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.59 MB
english, 1984
12

Permutation-exchange graphs that emulate the binary cube

Gianfranco Bilardi, Xiaolong Jin
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 377 KB
english, 1984
13

Recurrent words for substitution

Jacques Sakarovitch, Taishin Nishida, Youichi Kobuchi
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.08 MB
english, 1984
14

Time-varying systems and crossed products

John Murray
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.45 MB
english, 1984
15

Ważewski's topological method for Caratheodory systems

P. K. Palamides, Y. G. Sficas, V. A. Staikos
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1014 KB
english, 1984
16

Characterizations of reduction classes modulo oracle conditions

Ronald V. Book, Alan L. Selman
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.22 MB
english, 1984
17

Semitopological semirings and pushdown automata

W. Herfort, W. Kuich
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 803 KB
english, 1984
18

On finite volterra series which admit hamiltonian realizations

P. E. Crouch, M. Irving
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.32 MB
english, 1984
19

Structurally stable nonlinear regulation with step inputs

J. S. A. Hepburn, W. M. Wonham
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 779 KB
english, 1984
20

Invertibility of quantum-mechanical control systems

C. K. Ong, G. M. Huang, T. J. Tarn, J. W. Clark
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 1.07 MB
english, 1984
21

A note on the controllability of nonlinear systems

S. Walczak
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 309 KB
english, 1984