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 updated on Wed May 22 02:50:15 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page