

2nd Annual Symposium on Foundations of Computer Science,
October 1961. IEEE Computer Society
 Alan Cobham, R. Fridshal, J. H. North:
An application of linear programming to the minimization of Boolean functions.
39 BibTeX
 Edward J. McCluskey:
Minimal sums for Boolean functions having many unspecified fundamental products.
1017 BibTeX
 Stanley R. Petrick:
Use of a list processing language in programming simplification procedures.
1824 BibTeX
 Sheldon B. Akers Jr.:
Threshold logic and twoperson, zerosum games.
2733 BibTeX
 C. K. Chow:
On the characterization of threshold functions.
3438 BibTeX
 Saburo Muroga:
Functional forms of majority functions and a necessary and sufficient condition for their realizability.
3946 BibTeX
 O. B. Stram:
The profile technique for the design of threshold device logic.
4754 BibTeX
 Robert O. Winder:
More about threshold logic.
5564 BibTeX
 Donald Kennedy:
The integrative properties of neurons.
6769 BibTeX
 H. D. Landahl:
Mathematical models of neurone interaction.
7076 BibTeX
 D. R. Boyle, Robert S. Ledley:
Multivalued logic devices for simulating threshold neurons.
7782 BibTeX
 Jack D. Cowan:
Manyvalued logics and reliable homeostatic mechanisms.
8384 BibTeX
 Raymond E. Miller:
An introduction to speed independent circuit theory.
8793 BibTeX
 Robert E. Swartwout:
One method for designing speed independent logic for a control.
94105 BibTeX
 James E. Robertson:
Problems in the physical realization of speed independent circuits.
106108 BibTeX
 D. B. Gillies:
A flow chart notation for the description of a speedindependent control.
109110 BibTeX
 William L. Kilmer:
Transient behavior in iterative combinatorial switching networks.
114128 BibTeX
 Calvin C. Elgot, Joseph D. Rutledge:
Operations of finite automata.
129132 BibTeX
 Dean N. Arden:
Delayedlogic and finitestate machines.
133151 BibTeX
 J. M. Galey, R. E. Norby, J. P. Roth:
Techniques for the diagnosis of switching circuit failures.
152160 BibTeX
 Calvin C. Elgot, Saburo Muroga:
Two problems on threshold functions.
166 BibTeX
 M. Cohn:
Canonical forms of functions in Pvalued logics.
169177 BibTeX
 S. Okada, K. P. Rajappan, K. P. Young:
Boolean twoterminal analysis and synthesis.
178181 BibTeX
 Richard M. Karp, F. E. McFarlin, J. P. Roth, J. R. Wilts:
A computer program for the synthesis of combinational switching circuits.
182194 BibTeX
Copyright © Sat May 16 23:12:22 2009
by Michael Ley (ley@unitrier.de)