default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SWAT 1967: Austin, Texas, USA
- 8th Annual Symposium on Switching and Automata Theory, Austin, Texas, USA, October 18-20, 1967. IEEE Computer Society 1967
Session I
- Marvin C. Paull, Stephen H. Unger:
Structural Equivalence of Context-Free Grammars. 7-13 - Daniel J. Rosenkrantz:
Programmed Grammars: A New Device for Generating Formal Languages. 14-20 - Alfred V. Aho:
Indexed Grammars-An Extension of Context Free Grammars. 21-31 - Sheila A. Greibach:
An Infinite Hierarchy of Context-Free Languages. 32-36 - John E. Hopcroft, Jeffrey D. Ullman:
Two Results on One-Way Stack Automata. 37-44 - Eric G. Wagner:
On the Structure of Programming Languages, or, Six Languages for Turing Machines. 45-54
Session II
- Richard M. Karp, Raymond E. Miller:
Parallel Program Schemata: A Mathematical Model for Parallel Computation. 55-61 - Fred L. Luconi:
Completely Functional Asynchronous Computational Structures. 62-70 - David E. Muller:
The General Synthesis Problem for Asynchronous Digital Networks. 71-82 - S. M. Amoroso:
A Parallel-Acting Iterative Automaton. 83-94 - Douglas B. Armstrong, Arthur D. Friedman, Prem R. Menon:
Synthesis of Asynchronous Sequential Circuits with Minimum Number of Delay Elements. 95-105 - Arthur D. Friedman:
Universal Single Transition Time Asynchronous State Assignments. 106-111
Session III
- Juris Hartmanis:
On the Complexity of Undecidable Problems in Automata Theory. 112-116 - Albert R. Meyer, Arnold L. Rosenberg, Patrick C. Fischer:
Turing Machines with Several Read-Write Heads (Preliminary Report). 117-127 - Seymour Ginsburg, Sheila A. Greibach:
Abstract Families of Languages. 128-139 - John E. Hopcroft, Jeffrey D. Ullman:
An Approach to a Unified Theory of Automata. 140-147 - Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg:
Real Time Counter Machines (Preliminary Version). 148-154 - Manuel Blum, Carl Hewitt:
Automata on a 2-Dimensional Tape. 155-160
Session IV
- William H. Kautz:
Testing for Faults in Combinational Cellular Logic Arrays. 161-174 - Theresa F. Klaschka:
Two Contributions to Redundancy Theory. 175-183 - Bernard Elspas, Harold S. Stone:
Decomposition of Group Functions and the Synthesis of Multirail Cascades. 184-196 - Chao-Wei Mow, King-Sun Fu:
Generalization of Self-Dual and Self-Complementary Dual Functions. 197-209 - Domenico Ferrari, Antonio Grasselli:
A Cellular Structure for Sequential Networks. 210-225 - James L. Massey, Michael K. Sain:
Inverse Problems in Coding, Automata, and Continuous Systems. 226-232
Session V
- Peter Weiner, John E. Hopcroft:
Modular Decomposition of Synchronous Sequential Machines. 233-239 - Robert L. Martin:
Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form. 240-251 - Eugene L. Lawler, Thomas F. Piatkowski:
Generalized State Identification Problems. 252-254 - Janusz A. Brzozowski, Rina S. Cohen:
On Decompositions of Regular Events. 255-264 - Rina S. Cohen, Janusz A. Brzozowski:
On the Star Height of Regular Events. 265-279 - Azaria Paz:
Fuzzy Star Functions, Probabilistic Automata and Their Approximation by Nonprobabilistic Automata. 280-290
Session VI
- Philip M. Spira, Michael A. Arbib:
Computation Times for Finite Groups, Semigroups and Automata. 291-295 - Neil D. Jones:
Classes of Automata and Transitive Closure. 296-306 - Clarence M. Ablow, Michael Yoeli, James Turner:
Irreducible Decompositions of Transformation Graphs by Assignment Techniques. 307-313 - Rudolf Bayer:
On Endomorphisms and Congruences of Automata. 314-321 - Zamir Bavel, James W. Thomas:
On the Decomposability of Monadic Algebras and Automata. 322-335
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.
last updated on 2025-12-09 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
