8. FOCS 1967:
Austin,
Texas
8th Annual Symposium on Foundations of Computer Science,
Austin, Texas, October 1967. IEEE Computer Society
- Marvin C. Paull, Stephen H. Unger:
Structural Equivalence of Context-Free Grammars.
7-13 BibTeX
- Daniel J. Rosenkrantz:
Programmed Grammars: A New Device for Generating Formal Languages.
14-20 BibTeX
- Alfred V. Aho:
Indexed Grammars-An Extension of Context Free Grammars.
21-31 BibTeX
- Sheila A. Greibach:
An Infinite Hierarchy of Context-Free Languages.
32-36 BibTeX
- Eric G. Wagner:
On the Structure of Programming Languages, or, Six Languages for Turing Machines.
45-54 BibTeX
- Richard M. Karp, Raymond E. Miller:
Parallel Program Schemata: A Mathematical Model for Parallel Computation.
55-61 BibTeX
- Fred L. Luconi:
Completely Functional Asynchronous Computational Structures.
62-70 BibTeX
- David E. Muller:
The General Synthesis Problem for Asynchronous Digital Networks.
71-82 BibTeX
- S. M. Amoroso:
A Parallel-Acting Iterative Automaton.
83-94 BibTeX
- D. B. Armstrong, Arthur D. Friedman, Premachandran R. Menon:
Synthesis of Asynchronous Sequential Circuits with Minimum Number of Delay Elements.
95-105 BibTeX
- Arthur D. Friedman:
Universal Single Transition Time Asynchronous State Assignments.
106-111 BibTeX
- Juris Hartmanis:
On the Complexity of Undecidable Problems in Automata Theory.
112-116 BibTeX
- Albert R. Meyer, Arnold L. Rosenberg, Patrick C. Fischer:
Turing Machines with Several Read-Write Heads (Preliminary Report).
117-127 BibTeX
- Seymour Ginsburg, Sheila A. Greibach:
Abstract Families of Languages.
128-139 BibTeX
- Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg:
Real Time Counter Machines (Preliminary Version).
148-154 BibTeX
- Manuel Blum, Carl Hewitt:
Automata on a 2-Dimensional Tape.
155-160 BibTeX
- William H. Kautz:
Testing for Faults in Combinational Cellular Logic Arrays.
161-174 BibTeX
- Theresa F. Klaschka:
Two Contributions to Redundancy Theory.
175-183 BibTeX
- Bernard Elspas, Harold S. Stone:
Decomposition of Group Functions and the Synthesis of Multirail Cascades.
184-196 BibTeX
- W. C. W. Mow, K. S. Fu:
Generalization of Self-Dual and Self-Complementary Dual Functions.
197-209 BibTeX
- Domenico Ferrari, A. Grasselli:
A Cellular Structure for Sequential Networks.
210-225 BibTeX
- James L. Massey, Michael K. Sain:
Inverse Problems in Coding, Automata, and Continuous Systems.
226-232 BibTeX
- Peter Weiner, John E. Hopcroft:
Modular Decomposition of Synchronous Sequential Machines.
233-239 BibTeX
- Robert L. Martin:
Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form.
240-251 BibTeX
- Eugene L. Lawler, Thomas F. Piatkowski:
Generalized State Identification Problems.
252-254 BibTeX
- Janusz A. Brzozowski, Rina S. Cohen:
On Decompositions of Regular Events.
255-264 BibTeX
- Rina S. Cohen, Janusz A. Brzozowski:
On the Star Height of Regular Events.
265-279 BibTeX
- Azaria Paz:
Fuzzy Star Functions, Probabilistic Automata and Their Approximation by Nonprobabilistic Automata.
280-290 BibTeX
- Philip M. Spira, Michael A. Arbib:
Computation Times for Finite Groups, Semigroups and Automata.
291-295 BibTeX
- Neil D. Jones:
Classes of Automata and Transitive Closure.
296-306 BibTeX
- C. M. Ablow, Michael Yoeli, James Turner:
Irreducible Decompositions of Transformation Graphs by Assignment Techniques.
307-313 BibTeX
- Rudolf Bayer:
On Endomorphisms and Congruences of Automata.
314-321 BibTeX
- Zamir Bavel, James W. Thomas:
On the Decomposability of Monadic Algebras and Automata.
322-335 BibTeX
Copyright © Sat May 16 23:12:23 2009
by Michael Ley (ley@uni-trier.de)
