Personal tools
You are here: Home dblp db conf focs focs66.html

focs66.html

Click here to view the file or click here to download the file

Size 9.7 kB - File type text/html

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> &#151; 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 &#169;</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>

Document Actions