11. SWAT 1970:
Santa Monica, California, USA
Session I
Session II
Tiko Kameda:
On the Computational Power of Some Machines with Pushdown-Like Storage.
72
Mike Paterson:
Tape-Bounds for Time-Bounded Turing Machines.
73-75
Michel Fliess:
Deux applications de la representation matricielle d'une serie rationnelle non commutative.
81-87
Session III
Aaron Ashkinazy:
Fault Detection Experiments for Asynchronous Sequential Machines.
88-96
Gyula Magó:
Asynchronous Sequential Circuits with (2,1) Type State Assignments.
109-113
Stephen H. Unger:
Asynchronous Sequential Switching Circuits with Unrestricted Input Changes.
114-121
Session IV
Dines Bjørner:
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers.
122-132
Susan L. Graham:
Extended Precedence Languages, Bounded Right Context Languages, and Deterministic Languages (Extended Abstract).
175-180
Session V
Bernard P. Zeigler:
Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs.
236-239
data released under the ODC-BY 1.0 license
