10. FOCS 1969:
Waterloo,
California
10th Annual Symposium on Foundations of Computer Science,
Waterloo, California, October 1969. IEEE Computer Society
- Allan Borodin, Robert L. Constable, John E. Hopcroft:
Dense and Non-Dense Families of Complexity Classes.
7-19 BibTeX
- Robert L. Constable:
The Operator Gap.
20-26 BibTeX
- Dennis Tsichritzis:
Iterative Procedures.
27-35 BibTeX
- John E. Hopcroft, L. R. Kerr:
Some Techniques for Proving Certain Simple Programs Optimal.
36-45 BibTeX
- Luigi Logrippo:
Storage Interference in Asynchronous Computations.
46-60 BibTeX
- John L. Bruno, S. M. Altman:
Asynchronous Control Networks.
61-73 BibTeX
- Taylor L. Booth:
Probabilistic Representation of Formal Languages.
74-81 BibTeX
- Bernard W. Lovell:
The Incompletely-Specified Finite-State Stochastic Sequential Machine Equivalence and Reduction.
82-89 BibTeX
- Erol Gelenbe:
On Probabilistic Automata with Structural Restrictions.
90-99 BibTeX
- Denis J. Kfoury, Chung L. Liu:
Definite Stochastic Sequential Machines and Definite Stochastic Matrices.
100-105 BibTeX
- Jim Gray, Michael A. Harrison:
Single Pass Precedence Analysis (Extended Abstract).
106-117 BibTeX
- Richard Edwin Stearns, Daniel J. Rosenkrantz:
Table Machine Simulation.
118-128 BibTeX
- S. Rao Kosaraju:
Recognition of Context-Free and Stack Languages.
129-132 BibTeX
- Daniel A. Walters:
Deterministic Context-Sensitive Languages.
133-148 BibTeX
- Michael J. Fischer:
Two Characterizations of the Context-Sensitive Languages.
149-156 BibTeX
- Gerald A. Fischer, George N. Raney:
On the Representation of Formal Languages Using Automata on Networks.
157-165 BibTeX
- Igal Kohavi:
Fault Diagnosis of Logical Circuits.
166-173 BibTeX
- Thomas A. Kriz:
Machine Identification Concepts of Path Sensitizing Fault Diagnosis.
174-181 BibTeX
- Richard T. Sha, T. W. Sze:
Threshold Logic: A Simplified Synthesis by a Recursive Method.
182-193 BibTeX
- Thomas F. Arnold, Monroe M. Newborn:
Iteratively Realized Sequential Circuits: Further Considerations.
194-212 BibTeX
- W. Frank King III, Peter Weiner:
On the Modular Decomposition of Autonomous Sequential Machines.
213-221 BibTeX
- Sheila A. Greibach:
Full AFLs and Nested Iterated Substitution.
222-230 BibTeX
- Alfred V. Aho, Jeffrey D. Ullman:
A Characterization of Two-Way Deterministic Classes of Languages.
231-239 BibTeX
- Walter S. Brainerd:
Semi-Thue Systems and Representations of Trees.
240-244 BibTeX
- Aravind K. Joshi, S. Rao Kosaraju, H. Yamada:
String Adjunct Grammars.
245-262 BibTeX
- B. O. Nash, Rina S. Cohen:
Parallel Leveled Grammars.
263-276 BibTeX
Copyright © Sat May 16 23:12:23 2009
by Michael Ley (ley@uni-trier.de)