2nd Annual Symposium on Foundations of Computer Science,
October 1961. IEEE Computer Society
Copyright © Sat May 16 23:12:22 2009
by Michael Ley (firstname.lastname@example.org)
- Alan Cobham, R. Fridshal, J. H. North:
An application of linear programming to the minimization of Boolean functions.
- Edward J. McCluskey:
Minimal sums for Boolean functions having many unspecified fundamental products.
- Stanley R. Petrick:
Use of a list processing language in programming simplification procedures.
- Sheldon B. Akers Jr.:
Threshold logic and two-person, zero-sum games.
- C. K. Chow:
On the characterization of threshold functions.
- Saburo Muroga:
Functional forms of majority functions and a necessary and sufficient condition for their realizability.
- O. B. Stram:
The profile technique for the design of threshold device logic.
- Robert O. Winder:
More about threshold logic.
- Donald Kennedy:
The integrative properties of neurons.
- H. D. Landahl:
Mathematical models of neurone interaction.
- D. R. Boyle, Robert S. Ledley:
Multivalued logic devices for simulating threshold neurons.
- Jack D. Cowan:
Many-valued logics and reliable homeostatic mechanisms.
- Raymond E. Miller:
An introduction to speed independent circuit theory.
- Robert E. Swartwout:
One method for designing speed independent logic for a control.
- James E. Robertson:
Problems in the physical realization of speed independent circuits.
- D. B. Gillies:
A flow chart notation for the description of a speed-independent control.
- William L. Kilmer:
Transient behavior in iterative combinatorial switching networks.
- Calvin C. Elgot, Joseph D. Rutledge:
Operations of finite automata.
- Dean N. Arden:
Delayed-logic and finite-state machines.
- J. M. Galey, R. E. Norby, J. P. Roth:
Techniques for the diagnosis of switching circuit failures.
- Calvin C. Elgot, Saburo Muroga:
Two problems on threshold functions.
- M. Cohn:
Canonical forms of functions in P-valued logics.
- S. Okada, K. P. Rajappan, K. P. Young:
Boolean two-terminal analysis and synthesis.
- Richard M. Karp, F. E. McFarlin, J. P. Roth, J. R. Wilts:
A computer program for the synthesis of combinational switching circuits.