focs67.html
Click here to view the file
or
click here to download the file
File contents
<html><head><title>8. FOCS 1967: Austin, Texas</title><link href="../../../dblp.css" rel="stylesheet" type="text/css" /></head><body> <table width="100%"><tr><td align="left"><a href="../../index.html"><img alt="dblp.uni-trier.de" src="../../Logo.gif" border=0 height=60 width=170></a></td> <td align="right"><a href="http://www.uni-trier.de"><img alt="www.uni-trier.de" src="../../logo_universitaet-trier.gif" border=0 height=48 width=215></a></td></tr></table> <h1>8. <a href="index.html">FOCS</a> 1967: Austin, Texas</h1> 8th Annual Symposium on Foundations of Computer Science, Austin, Texas, October 1967. IEEE Computer Society <ul> <li><a name="PaullU67" href="../../indices/a-tree/p/Paull:Marvin_C=.html">Marvin C. Paull</a>, <a href="../../indices/a-tree/u/Unger:Stephen_H=.html">Stephen H. Unger</a>: Structural Equivalence of Context-Free Grammars. 7-13 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/PaullU67">BibTeX</a></font> <li><a name="Rosenkrantz67" href="../../indices/a-tree/r/Rosenkrantz:Daniel_J=.html">Daniel J. Rosenkrantz</a>: Programmed Grammars: A New Device for Generating Formal Languages. 14-20 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Rosenkrantz67">BibTeX</a></font> <li><a name="Aho67" href="../../indices/a-tree/a/Aho:Alfred_V=.html">Alfred V. Aho</a>: Indexed Grammars-An Extension of Context Free Grammars. 21-31 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Aho67">BibTeX</a></font> <li><a name="Greibach67" href="../../indices/a-tree/g/Greibach:Sheila_A=.html">Sheila A. Greibach</a>: An Infinite Hierarchy of Context-Free Languages. 32-36 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Greibach67">BibTeX</a></font> <li><a name="Wagner67" href="../../indices/a-tree/w/Wagner:Eric_G=.html">Eric G. Wagner</a>: On the Structure of Programming Languages, or, Six Languages for Turing Machines. 45-54 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Wagner67">BibTeX</a></font> <li><a name="KarpM67" href="../../indices/a-tree/k/Karp:Richard_M=.html">Richard M. Karp</a>, <a href="../../indices/a-tree/m/Miller:Raymond_E=.html">Raymond E. Miller</a>: Parallel Program Schemata: A Mathematical Model for Parallel Computation. 55-61 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/KarpM67">BibTeX</a></font> <li><a name="Luconi67" href="../../indices/a-tree/l/Luconi:Fred_L=.html">Fred L. Luconi</a>: Completely Functional Asynchronous Computational Structures. 62-70 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Luconi67">BibTeX</a></font> <li><a name="Muller67" href="../../indices/a-tree/m/Muller:David_E=.html">David E. Muller</a>: The General Synthesis Problem for Asynchronous Digital Networks. 71-82 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Muller67">BibTeX</a></font> <li><a name="Amoroso67" href="../../indices/a-tree/a/Amoroso:S=_M=.html">S. M. Amoroso</a>: A Parallel-Acting Iterative Automaton. 83-94 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Amoroso67">BibTeX</a></font> <li><a name="ArmstrongFM67" href="../../indices/a-tree/a/Armstrong:D=_B=.html">D. B. Armstrong</a>, <a href="../../indices/a-tree/f/Friedman:Arthur_D=.html">Arthur D. Friedman</a>, <a href="../../indices/a-tree/m/Menon:Premachandran_R=.html">Premachandran R. Menon</a>: Synthesis of Asynchronous Sequential Circuits with Minimum Number of Delay Elements. 95-105 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/ArmstrongFM67">BibTeX</a></font> <li><a name="Friedman67" href="../../indices/a-tree/f/Friedman:Arthur_D=.html">Arthur D. Friedman</a>: Universal Single Transition Time Asynchronous State Assignments. 106-111 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Friedman67">BibTeX</a></font> <li><a name="Hartmanis67" href="../../indices/a-tree/h/Hartmanis:Juris.html">Juris Hartmanis</a>: On the Complexity of Undecidable Problems in Automata Theory. 112-116 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Hartmanis67">BibTeX</a></font> <li><a name="MeyerRF67" href="../../indices/a-tree/m/Meyer:Albert_R=.html">Albert R. Meyer</a>, <a href="../../indices/a-tree/r/Rosenberg:Arnold_L=.html">Arnold L. Rosenberg</a>, <a href="../../indices/a-tree/f/Fischer:Patrick_C=.html">Patrick C. Fischer</a>: Turing Machines with Several Read-Write Heads (Preliminary Report). 117-127 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/MeyerRF67">BibTeX</a></font> <li><a name="GinsburgG67" href="../../indices/a-tree/g/Ginsburg:Seymour.html">Seymour Ginsburg</a>, <a href="../../indices/a-tree/g/Greibach:Sheila_A=.html">Sheila A. Greibach</a>: Abstract Families of Languages. 128-139 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/GinsburgG67">BibTeX</a></font> <li><a name="FischerMR67" href="../../indices/a-tree/f/Fischer:Patrick_C=.html">Patrick C. Fischer</a>, <a href="../../indices/a-tree/m/Meyer:Albert_R=.html">Albert R. Meyer</a>, <a href="../../indices/a-tree/r/Rosenberg:Arnold_L=.html">Arnold L. Rosenberg</a>: Real Time Counter Machines (Preliminary Version). 148-154 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/FischerMR67">BibTeX</a></font> <li><a name="BlumH67" href="../../indices/a-tree/b/Blum:Manuel.html">Manuel Blum</a>, <a href="../../indices/a-tree/h/Hewitt:Carl.html">Carl Hewitt</a>: Automata on a 2-Dimensional Tape. 155-160 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/BlumH67">BibTeX</a></font> <li><a name="Kautz67" href="../../indices/a-tree/k/Kautz:William_H=.html">William H. Kautz</a>: Testing for Faults in Combinational Cellular Logic Arrays. 161-174 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Kautz67">BibTeX</a></font> <li><a name="Klaschka67" href="../../indices/a-tree/k/Klaschka:Theresa_F=.html">Theresa F. Klaschka</a>: Two Contributions to Redundancy Theory. 175-183 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Klaschka67">BibTeX</a></font> <li><a name="ElspasS67" href="../../indices/a-tree/e/Elspas:Bernard.html">Bernard Elspas</a>, <a href="../../indices/a-tree/s/Stone:Harold_S=.html">Harold S. Stone</a>: Decomposition of Group Functions and the Synthesis of Multirail Cascades. 184-196 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/ElspasS67">BibTeX</a></font> <li><a name="MowF67" href="../../indices/a-tree/m/Mow:W=_C=_W=.html">W. C. W. Mow</a>, <a href="../../indices/a-tree/f/Fu:K=_S=.html">K. S. Fu</a>: Generalization of Self-Dual and Self-Complementary Dual Functions. 197-209 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/MowF67">BibTeX</a></font> <li><a name="FerrariG67" href="../../indices/a-tree/f/Ferrari:Domenico.html">Domenico Ferrari</a>, <a href="../../indices/a-tree/g/Grasselli:A=.html">A. Grasselli</a>: A Cellular Structure for Sequential Networks. 210-225 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/FerrariG67">BibTeX</a></font> <li><a name="MasseyS67" href="../../indices/a-tree/m/Massey:James_L=.html">James L. Massey</a>, <a href="../../indices/a-tree/s/Sain:Michael_K=.html">Michael K. Sain</a>: Inverse Problems in Coding, Automata, and Continuous Systems. 226-232 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/MasseyS67">BibTeX</a></font> <li><a name="WeinerH67" href="../../indices/a-tree/w/Weiner:Peter.html">Peter Weiner</a>, <a href="../../indices/a-tree/h/Hopcroft:John_E=.html">John E. Hopcroft</a>: Modular Decomposition of Synchronous Sequential Machines. 233-239 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/WeinerH67">BibTeX</a></font> <li><a name="Martin67" href="../../indices/a-tree/m/Martin:Robert_L=.html">Robert L. Martin</a>: Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form. 240-251 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Martin67">BibTeX</a></font> <li><a name="LawlerP67" href="../../indices/a-tree/l/Lawler:Eugene_L=.html">Eugene L. Lawler</a>, <a href="../../indices/a-tree/p/Piatkowski:Thomas_F=.html">Thomas F. Piatkowski</a>: Generalized State Identification Problems. 252-254 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/LawlerP67">BibTeX</a></font> <li><a name="BrzozowskiC67" href="../../indices/a-tree/b/Brzozowski:Janusz_A=.html">Janusz A. Brzozowski</a>, <a href="../../indices/a-tree/c/Cohen:Rina_S=.html">Rina S. Cohen</a>: On Decompositions of Regular Events. 255-264 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/BrzozowskiC67">BibTeX</a></font> <li><a name="CohenB67" href="../../indices/a-tree/c/Cohen:Rina_S=.html">Rina S. Cohen</a>, <a href="../../indices/a-tree/b/Brzozowski:Janusz_A=.html">Janusz A. Brzozowski</a>: On the Star Height of Regular Events. 265-279 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/CohenB67">BibTeX</a></font> <li><a name="Paz67" href="../../indices/a-tree/p/Paz:Azaria.html">Azaria Paz</a>: Fuzzy Star Functions, Probabilistic Automata and Their Approximation by Nonprobabilistic Automata. 280-290 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Paz67">BibTeX</a></font> <li><a name="SpiraA67" href="../../indices/a-tree/s/Spira:Philip_M=.html">Philip M. Spira</a>, <a href="../../indices/a-tree/a/Arbib:Michael_A=.html">Michael A. Arbib</a>: Computation Times for Finite Groups, Semigroups and Automata. 291-295 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/SpiraA67">BibTeX</a></font> <li><a name="Jones67" href="../../indices/a-tree/j/Jones:Neil_D=.html">Neil D. Jones</a>: Classes of Automata and Transitive Closure. 296-306 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Jones67">BibTeX</a></font> <li><a name="AblowYT67" href="../../indices/a-tree/a/Ablow:C=_M=.html">C. M. Ablow</a>, <a href="../../indices/a-tree/y/Yoeli:Michael.html">Michael Yoeli</a>, <a href="../../indices/a-tree/t/Turner:James.html">James Turner</a>: Irreducible Decompositions of Transformation Graphs by Assignment Techniques. 307-313 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/AblowYT67">BibTeX</a></font> <li><a name="Bayer67" href="../../indices/a-tree/b/Bayer:Rudolf.html">Rudolf Bayer</a>: On Endomorphisms and Congruences of Automata. 314-321 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Bayer67">BibTeX</a></font> <li><a name="BavelT67" href="../../indices/a-tree/b/Bavel:Zamir.html">Zamir Bavel</a>, <a href="../../indices/a-tree/t/Thomas:James_W=.html">James W. Thomas</a>: On the Decomposability of Monadic Algebras and Automata. 322-335 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/BavelT67">BibTeX</a></font> </ul><p><div class="footer"> <a href="../../index.html">Home</a> | <a href="../indexa.html">Conferences</a> | <a href="../../journals/index.html">Journals</a> | <a href="../../series/index.html">Series</a> | <a href="../../about/faq.html">FAQ</a> — Search: <a href="http://dblp.l3s.de">Faceted</a> | <a href="http://dblp.mpi-inf.mpg.de/dblp-mirror/index.php">Complete</a> | <a href="../../indices/a-tree/index.html">Author</a></div> <small><a href="../../copyright.html">Copyright ©</a> Sat May 16 23:12:23 2009 by <a href="http://www.informatik.uni-trier.de/~ley/addr.html">Michael Ley</a> (<a href="mailto:ley@uni-trier.de">ley@uni-trier.de</a>)</small></p></body></html>
SIGMOD News
