10. SWAT 1969: Waterloo, Ontario, Canada

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, S. 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
  

Last update Tue Feb 14 03:56:09 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page