11. FOCS 1970:
Santa Monica,
California
11th Annual Symposium on Foundations of Computer Science,
Santa Monica, California, October 1970. IEEE Computer Society
- Joseph D. Rutledge:
Program Schemata as Automata: Part I.
7-24 BibTeX
- Alfred V. Aho, Jeffrey D. Ullman:
Equivalence of Programs with Structured Variables.
25-31 BibTeX
- Robert M. Keller:
On Maximally Parallel Schemata.
32-50 BibTeX
- David Gale, Richard M. Karp:
A Phenomenon in the Theory of Sorting.
51-59 BibTeX
- Robert L. Constable, Allan Borodin:
On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract).
60-67 BibTeX
- Edward M. Reingold:
On the Optimality of Some Set and Vector Algorithms.
68-71 BibTeX
- Tiko Kameda:
On the Computational Power of Some Machines with Pushdown-Like Storage.
72 BibTeX
- Mike Paterson:
Tape-Bounds for Time-Bounded Turing Machines.
73-75 BibTeX
- Yechezkel Zalcstein:
On Star-Free Events.
76-80 BibTeX
- Michel Fliess:
Deux applications de la representation matricielle d'une serie rationnelle non commutative.
81-87 BibTeX
- Aaron Ashkinazy:
Fault Detection Experiments for Asynchronous Sequential Machines.
88-96 BibTeX
- Martin A. Fischler, Meyer Tannenbaum:
Synchronizing and Representation Problems for Sequential Machines with Masked Outputs.
97-103 BibTeX
- Jon G. Bredeson, Paul T. Hulina:
Elimination of Static and Dynamic Hazards in Combinatorial Switching Circuits.
104-108 BibTeX
- Gyula Magó:
Asynchronous Sequential Circuits with (2,1) Type State Assignments.
109-113 BibTeX
- Stephen H. Unger:
Asynchronous Sequential Switching Circuits with Unrestricted Input Changes.
114-121 BibTeX
- Dines Bjørner:
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers.
122-132 BibTeX
- David B. Benson:
Syntactic Clues.
133-138 BibTeX
- Daniel J. Rosenkrantz, Philip M. Lewis II:
Deterministic Left Corner Parsing (Extended Abstract).
139-152 BibTeX
- Alexander Birman, Jeffrey D. Ullman:
Parsing Algorithms with Backtrack.
153-174 BibTeX
- Susan L. Graham:
Extended Precedence Languages, Bounded Right Context Languages, and Deterministic Languages (Extended Abstract).
175-180 BibTeX
- Joseph Alphonso Giuliano:
Writing Stack Acceptors.
181-193 BibTeX
- Edwin Roger Banks:
Universality in Cellular Automata.
194-215 BibTeX
- Alvy Ray Smith III:
Cellular Automata and Formal Languages.
216-224 BibTeX
- Arie Shoshani, Edward G. Coffman Jr.:
Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks.
225-235 BibTeX
- Bernard P. Zeigler:
Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs.
236-239 BibTeX
Copyright © Sat May 16 23:12:23 2009
by Michael Ley (ley@uni-trier.de)
