focs66.html
Click here to view the file
or
click here to download the file
File contents
<html><head><title>7. FOCS 1966: Berkeley, California</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>7. <a href="index.html">FOCS</a> 1966: Berkeley, California</h1> 7th Annual Symposium on Foundations of Computer Science, Berkeley, California, 23-25 October 1966. IEEE Computer Society <ul> <li><a name="Younger66" href="../../indices/a-tree/y/Younger:Daniel_H=.html">Daniel H. Younger</a>: Context-Free Language Processing in Time n^3. 7-20 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Younger66">BibTeX</a></font> <li><a name="LewisS66" href="../../indices/a-tree/l/Lewis_II:Philip_M=.html">Philip M. Lewis II</a>, <a href="../../indices/a-tree/s/Stearns:Richard_Edwin.html">Richard Edwin Stearns</a>: Syntax Directed Transduction. 21-35 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/LewisS66">BibTeX</a></font> <li><a name="KorenjakH66" href="../../indices/a-tree/k/Korenjak:A=_J=.html">A. J. Korenjak</a>, <a href="../../indices/a-tree/h/Hopcroft:John_E=.html">John E. Hopcroft</a>: Simple Deterministic Languages. 36-46 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/KorenjakH66">BibTeX</a></font> <li><a name="GinsburgGH66" 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>, <a href="../../indices/a-tree/h/Harrison:Michael_A=.html">Michael A. Harrison</a>: One-Way Stack Automata (Extended Abstract). 47-52 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/GinsburgGH66">BibTeX</a></font> <li><a name="Cole66" href="../../indices/a-tree/c/Cole:Stephen_N=.html">Stephen N. Cole</a>: Real-Time Computation by n-Dimensional Iterative Arrays of Finite-State Machines. 53-77 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Cole66">BibTeX</a></font> <li><a name="Cobham66" href="../../indices/a-tree/c/Cobham:Alan.html">Alan Cobham</a>: The Recognition Problem for the Set of Perfect Squares. 78-87 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Cobham66">BibTeX</a></font> <li><a name="Brzozowski66" href="../../indices/a-tree/b/Brzozowski:Janusz_A=.html">Janusz A. Brzozowski</a>: Roots of Star Events. 88-95 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Brzozowski66">BibTeX</a></font> <li><a name="YoeliA66" href="../../indices/a-tree/y/Yoeli:Michael.html">Michael Yoeli</a>, <a href="../../indices/a-tree/a/Ablow:C=_M=.html">C. M. Ablow</a>: Subdirect Decompositions of Transformation Graphs. 96-102 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/YoeliA66">BibTeX</a></font> <li><a name="Liu66" href="../../indices/a-tree/l/Liu:C=_L=.html">C. L. Liu</a>: Pair Algebra and Its Application. 103-112 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Liu66">BibTeX</a></font> <li><a name="Pu66" href="../../indices/a-tree/p/Pu:Arthur_T=.html">Arthur T. Pu</a>: Generalized Decomposition of Incomplete Finite Automata. 113-126 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Pu66">BibTeX</a></font> <li><a name="Gill66" href="../../indices/a-tree/g/Gill:Arthur.html">Arthur Gill</a>: Graphs of Affine Transformations, with Applications to Sequential Circuits. 127-135 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Gill66">BibTeX</a></font> <li><a name="GrasselliL66" href="../../indices/a-tree/g/Grasselli:A=.html">A. Grasselli</a>, <a href="../../indices/a-tree/l/Luccio:Fabrizio.html">Fabrizio Luccio</a>: A Method for the Combined Row-Column Reduction of Flow Tables. 136-147 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/GrasselliL66">BibTeX</a></font> <li><a name="Epley66" href="../../indices/a-tree/e/Epley:Donald_L=.html">Donald L. Epley</a>: Standard Minimum Transition Time Secondary Assignments for Asynchronous Circuits. 148-153 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Epley66">BibTeX</a></font> <li><a name="Unger66" href="../../indices/a-tree/u/Unger:Stephen_H=.html">Stephen H. Unger</a>: A Row Assignment for Delay-Free Realizations of Flow Tables without Essential Hazards. 154-159 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Unger66">BibTeX</a></font> <li><a name="SmithK66" href="../../indices/a-tree/s/Smith:Edward_J=.html">Edward J. Smith</a>, <a href="../../indices/a-tree/k/Kohavi:Zvi.html">Zvi Kohavi</a>: Synthesis of Multiple Sequential Machines. 160-171 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/SmithK66">BibTeX</a></font> <li><a name="HadlockC66" href="../../indices/a-tree/h/Hadlock:F=_O=.html">F. O. Hadlock</a>, <a href="../../indices/a-tree/c/Coates:C=_L=.html">C. L. Coates</a>: Realization of Sequential Machines with Threshold Elements. 172-183 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/HadlockC66">BibTeX</a></font> <li><a name="MastersM66" href="../../indices/a-tree/m/Masters:Gilbert_M=.html">Gilbert M. Masters</a>, <a href="../../indices/a-tree/m/Mattson:Richard_L=.html">Richard L. Mattson</a>: The Application of Threshold Logic to the Design of Sequential Machines. 184-194 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/MastersM66">BibTeX</a></font> <li><a name="DertouzosF66" href="../../indices/a-tree/d/Dertouzos:Michael_L=.html">Michael L. Dertouzos</a>, <a href="../../indices/a-tree/f/Fluhr:Zachary_C=.html">Zachary C. Fluhr</a>: Minimization and Convexity in Threshold Logic. 195-200 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/DertouzosF66">BibTeX</a></font> <li><a name="EvenKP66" href="../../indices/a-tree/e/Even:Shimon.html">Shimon Even</a>, <a href="../../indices/a-tree/k/Kohavi:I=.html">I. Kohavi</a>, <a href="../../indices/a-tree/p/Paz:Azaria.html">Azaria Paz</a>: On Minimal Modulo 2 Sums of Products for Switching Functions. 201-206 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/EvenKP66">BibTeX</a></font> <li><a name="StoverE66" href="../../indices/a-tree/s/Stover:D=_R=.html">D. R. Stover</a>, <a href="../../indices/a-tree/e/Epley:D=_L=.html">D. L. Epley</a>: Conjunctive Encoding of Boolean Matrices. 207-214 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/StoverE66">BibTeX</a></font> <li><a name="GoldbergS66" href="../../indices/a-tree/g/Goldberg:Jacob.html">Jacob Goldberg</a>, <a href="../../indices/a-tree/s/Stone:Harold_S=.html">Harold S. Stone</a>: Asynchronous Propagation-Limited Logic. 215-226 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/GoldbergS66">BibTeX</a></font> <li><a name="King66" href="../../indices/a-tree/k/King_III:W=_Frank.html">W. Frank King III</a>: The Synthesis of Multipurpose Logic Devices. 227-235 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/King66">BibTeX</a></font> <li><a name="ForslundW66" href="../../indices/a-tree/f/Forslund:D=_C=.html">D. C. Forslund</a>, <a href="../../indices/a-tree/w/Waxman:Ronald.html">Ronald Waxman</a>: The Universal Logic Block (ULB) and its Application to Logic Design. 236-250 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/ForslundW66">BibTeX</a></font> <li><a name="Booth66" href="../../indices/a-tree/b/Booth:Taylor_L=.html">Taylor L. Booth</a>: Statistical Properties of Random Digital Sequences. 251-261 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Booth66">BibTeX</a></font> <li><a name="Arbib66" href="../../indices/a-tree/a/Arbib:Michael_A=.html">Michael A. Arbib</a>: Realization of Stochastic Systems. 262-266 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Arbib66">BibTeX</a></font> <li><a name="Ott66" href="../../indices/a-tree/o/Ott:Gene_H=.html">Gene H. Ott</a>: Reconsider the State Minimization Problem for Stochastic Finite State Systems. 267-273 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Ott66">BibTeX</a></font> <li><a name="Helm66" href="../../indices/a-tree/h/Helm:H=_A=.html">H. A. Helm</a>: An Application of Coding Algebra to the Design of a Digital Multiplexing System using Linear Sequential Circuits. 274-281 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Helm66">BibTeX</a></font> <li><a name="Bayer66" href="../../indices/a-tree/b/Bayer:Rudolf.html">Rudolf Bayer</a>: Automorphism Groups and Quotients of Strongly Connected Automata and Monadic Algebras. 282-297 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Bayer66">BibTeX</a></font> <li><a name="Paul66" href="../../indices/a-tree/p/Paul:Manfred.html">Manfred Paul</a>: On the Automorphism Group of a Reduced Automaton. 298-304 <font size="-3"><a href="http://dblp.uni-trier.de/rec/bibtex/conf/focs/Paul66">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>




