Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Home
Proceedings
FOCS
FOCS 1961
Generate Citations
1st and 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1960-1961)
Oct. 17 1961 to Oct. 20 1961
Detroit, MI
Table of Contents
Table of contents
Freely available from IEEE.
pp. vii-ix
Foreword
Freely available from IEEE.
pp. iii-iii
by
T. Mott
Preface
Freely available from IEEE.
pp. v-vi
by
Robert Ledley
An application of linear programming to the minimization of Boolean functions
Full-text access may be available. Sign in or learn about subscription options.
pp. 3-9
by
A. Cobham
,
R. Fridshal
,
J. H. North
Minimal sums for Boolean functions having many unspecified fundamental products
Full-text access may be available. Sign in or learn about subscription options.
pp. 10-17
by
E. J. McCluskey
Use of a list processing language in programming simplification procedures
Full-text access may be available. Sign in or learn about subscription options.
pp. 18-26
by
S. R. Petrick
Threshold logic and two-person, zero-sum games
Full-text access may be available. Sign in or learn about subscription options.
pp. 27-33
by
Sheldon B. Akers
On the characterization of threshold functions
Full-text access may be available. Sign in or learn about subscription options.
pp. 34-38
by
C. K. Chow
Functional forms of majority functions and a necessary and sufficient condition for their realizability
Full-text access may be available. Sign in or learn about subscription options.
pp. 39-46
by
Saburo Muroga
The profile technique for the desing of threshold device logic
Full-text access may be available. Sign in or learn about subscription options.
pp. 47-54
by
O. B. Stram
More about threshold logic
Full-text access may be available. Sign in or learn about subscription options.
pp. 55-64
by
R. O. Winder
The integrative properties of neurons
Full-text access may be available. Sign in or learn about subscription options.
pp. 67-69
by
Donald Kennedy
Mathematical models of neurone interaction
Full-text access may be available. Sign in or learn about subscription options.
pp. 70-76
by
H. D. Landahl
Multivalued logic devices for simulating threshold neurons
Full-text access may be available. Sign in or learn about subscription options.
pp. 77-82
by
D. R. Boyle
,
R. S. Ledley
Many-valued logics and reliable homeostatic mechanisms
Full-text access may be available. Sign in or learn about subscription options.
pp. 83-84
by
Jack D. Cowan
An introduction to speed independent circuit theory
Full-text access may be available. Sign in or learn about subscription options.
pp. 87-93
by
R. E. Miller
One method for designing speed independent logic for a control
Full-text access may be available. Sign in or learn about subscription options.
pp. 94-105
by
Robert E. Swartwout
Problems in the physical realization of speed independent circuits
Full-text access may be available. Sign in or learn about subscription options.
pp. 106-108
by
James E. Robertson
A flow chart notation for the description of a speed- independent control
Full-text access may be available. Sign in or learn about subscription options.
pp. 109-110
by
D. B. Gillies
Memorial session for S. H. Caldwell (1904-1960)
Freely available from IEEE.
pp. 113-113
by
E. J. McCluskey
Transient behavior in iterative combinational switching networks
Full-text access may be available. Sign in or learn about subscription options.
pp. 114-128
by
W. L. Kilmer
Operations on finite automata
Full-text access may be available. Sign in or learn about subscription options.
pp. 129-132
by
C. C. Elgot
,
J. D. Rutledge
Delayed-logic and finite-state machines
Full-text access may be available. Sign in or learn about subscription options.
pp. 133-151
by
Dean N. Arden
Techniques for the diagnosis of switching circuit failures
Full-text access may be available. Sign in or learn about subscription options.
pp. 152-160
by
J. M. Galey
,
R. E. Norby
,
J. P. Roth
Some unsolved problems in switching theory
Full-text access may be available. Sign in or learn about subscription options.
pp. 163-165
by
William H. Kautz
Two problems on threshold functions
Full-text access may be available. Sign in or learn about subscription options.
pp. 166-166
by
C. C. Elgot
,
S. Muroga
Canonical forms of functions in p-valued logics
Full-text access may be available. Sign in or learn about subscription options.
pp. 169-177
by
M. Cohn
Boolean two-terminal analysis and synthesis
Full-text access may be available. Sign in or learn about subscription options.
pp. 178-181
by
S. Okada
,
K. P. Rajappan
,
K. P. Young
A computer program for the synthesis of combinational switching circuits
Full-text access may be available. Sign in or learn about subscription options.
pp. 182-194
by
R. M. Karp
,
F. E. McFarlin
,
J. P. Roth
,
J. R. Wilts
Automatic fault detection in combinational switching networks
Full-text access may be available. Sign in or learn about subscription options.
pp. 195-214
by
William H. Kautz
Switching function canonical forms based on commutative and associative binary operations
Full-text access may be available. Sign in or learn about subscription options.
pp. 217-224
by
Peter Calingaert
Truth functions realizable by single threshold organs
Full-text access may be available. Sign in or learn about subscription options.
pp. 225-245
by
Calvin C. Elgot
A method for factoring the action of asynchronous circuits
Full-text access may be available. Sign in or learn about subscription options.
pp. 246-249
by
W. D. Frazer
,
D. E. Muller
A four-megacycle, 24-bit checked binary adder
Full-text access may be available. Sign in or learn about subscription options.
pp. 250-265
by
M. E. Homan
Boolean matrices applied to sequential circuit theory and threshold logics
Full-text access may be available. Sign in or learn about subscription options.
pp. 266-272
by
R. S. Ledley
Forcing circuitry -- Sequential building blocks for logical design
Full-text access may be available. Sign in or learn about subscription options.
pp. 273-291
by
R. M. Meade
Current-operated diode logic gates
Full-text access may be available. Sign in or learn about subscription options.
pp. 292-308
by
Henry Reinecke
The decision and synthesis problems in semimodular switching theory
Full-text access may be available. Sign in or learn about subscription options.
pp. 309-320
by
J. H. Shelly
Single stage threshold logic
Full-text access may be available. Sign in or learn about subscription options.
pp. 321-332
by
Robert O. Winder
Author index
Freely available from IEEE.
pp. 341-341
Showing 40 out of 40