 |
 |
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.
3-9 BibTeX
- Edward J. McCluskey:
Minimal sums for Boolean functions having many unspecified fundamental products.
10-17 BibTeX
- Stanley R. Petrick:
Use of a list processing language in programming simplification procedures.
18-24 BibTeX
- Sheldon B. Akers Jr.:
Threshold logic and two-person, zero-sum games.
27-33 BibTeX
- C. K. Chow:
On the characterization of threshold functions.
34-38 BibTeX
- Saburo Muroga:
Functional forms of majority functions and a necessary and sufficient condition for their realizability.
39-46 BibTeX
- O. B. Stram:
The profile technique for the design of threshold device logic.
47-54 BibTeX
- Robert O. Winder:
More about threshold logic.
55-64 BibTeX
- Donald Kennedy:
The integrative properties of neurons.
67-69 BibTeX
- H. D. Landahl:
Mathematical models of neurone interaction.
70-76 BibTeX
- D. R. Boyle, Robert S. Ledley:
Multivalued logic devices for simulating threshold neurons.
77-82 BibTeX
- Jack D. Cowan:
Many-valued logics and reliable homeostatic mechanisms.
83-84 BibTeX
- Raymond E. Miller:
An introduction to speed independent circuit theory.
87-93 BibTeX
- Robert E. Swartwout:
One method for designing speed independent logic for a control.
94-105 BibTeX
- James E. Robertson:
Problems in the physical realization of speed independent circuits.
106-108 BibTeX
- D. B. Gillies:
A flow chart notation for the description of a speed-independent control.
109-110 BibTeX
- William L. Kilmer:
Transient behavior in iterative combinatorial switching networks.
114-128 BibTeX
- Calvin C. Elgot, Joseph D. Rutledge:
Operations of finite automata.
129-132 BibTeX
- Dean N. Arden:
Delayed-logic and finite-state machines.
133-151 BibTeX
- J. M. Galey, R. E. Norby, J. P. Roth:
Techniques for the diagnosis of switching circuit failures.
152-160 BibTeX
- Calvin C. Elgot, Saburo Muroga:
Two problems on threshold functions.
166 BibTeX
- M. Cohn:
Canonical forms of functions in P-valued logics.
169-177 BibTeX
- S. Okada, K. P. Rajappan, K. P. Young:
Boolean two-terminal analysis and synthesis.
178-181 BibTeX
- Richard M. Karp, F. E. McFarlin, J. P. Roth, J. R. Wilts:
A computer program for the synthesis of combinational switching circuits.
182-194 BibTeX
Copyright © Sat May 16 23:12:22 2009
by Michael Ley (ley@uni-trier.de)