default search action
10th SWAT 1969: Waterloo, Ontario, Canada
- 10th Annual Symposium on Switching and Automata Theory, Waterloo, Ontario, Canada, October 15-17, 1969. IEEE Computer Society 1969
Session I
- Allan Borodin, Robert L. Constable, John E. Hopcroft:
Dense and Non-Dense Families of Complexity Classes. 7-19 - Robert L. Constable:
The Operator Gap. 20-26 - Dennis Tsichritzis:
Iterative Procedures. 27-35 - John E. Hopcroft, L. R. Kerr:
Some Techniques for Proving Certain Simple Programs Optimal. 36-45 - Luigi Logrippo:
Storage Interference in Asynchronous Computations. 46-60 - John L. Bruno, Stanley M. Altman:
Asynchronous Control Networks. 61-73
Session II
- Taylor L. Booth:
Probabilistic Representation of Formal Languages. 74-81 - Bernard W. Lovell:
The Incompletely-Specified Finite-State Stochastic Sequential Machine Equivalence and Reduction. 82-89 - Erol Gelenbe:
On Probabilistic Automata with Structural Restrictions. 90-99 - Denis J. Kfoury, Chung L. Liu:
Definite Stochastic Sequential Machines and Definite Stochastic Matrices. 100-105
Session III
- Jim Gray, Michael A. Harrison:
Single Pass Precedence Analysis (Extended Abstract). 106-117 - Richard Edwin Stearns, Daniel J. Rosenkrantz:
Table Machine Simulation. 118-128 - S. Rao Kosaraju:
Recognition of Context-Free and Stack Languages. 129-132 - Daniel A. Walters:
Deterministic Context-Sensitive Languages. 133-148 - Michael J. Fischer:
Two Characterizations of the Context-Sensitive Languages. 149-156 - Gerald A. Fischer, George N. Raney:
On the Representation of Formal Languages Using Automata on Networks. 157-165
Session IV
- Igal Kohavi:
Fault Diagnosis of Logical Circuits. 166-173 - Thomas A. Kriz:
Machine Identification Concepts of Path Sensitizing Fault Diagnosis. 174-181 - Richard T. Sha, T. W. Sze:
Threshold Logic: A Simplified Synthesis by a Recursive Method. 182-193 - Thomas F. Arnold, Monroe M. Newborn:
Iteratively Realized Sequential Circuits: Further Considerations. 194-212 - W. Frank King III, Peter Weiner:
On the Modular Decomposition of Autonomous Sequential Machines. 213-221
Session V
- Sheila A. Greibach:
Full AFLs and Nested Iterated Substitution. 222-230 - Alfred V. Aho, Jeffrey D. Ullman:
A Characterization of Two-Way Deterministic Classes of Languages. 231-239 - Walter S. Brainerd:
Semi-Thue Systems and Representations of Trees. 240-244 - Aravind K. Joshi, S. Rao Kosaraju, H. Yamada:
String Adjunct Grammars. 245-262 - B. O. Nash, Rina S. Cohen:
Parallel Leveled Grammars. 263-276
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.