Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, 7-12 October 1962, Chicago, Illinois, USA - researchr publication

researchr

You are not signed in
Sign in
Sign up

Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, 7-12 October 1962, Chicago, Illinois, USA. American Institute of Electrical Engineers, 1962.

Conference: focs1962

Abstract is missing.

On the minimal third order expression of a Boolean functionAngelo Raffaele Meo. 5-24

Research and algorithms in the theory of Boolean formulasE. W. Samson, Lorenzo Calabi. 25-32

The algebra of Boolean formulas: Some criteria for minimalityLorenzo Calabi, J. A. Riley. 33-47

Minimal Boolean expressions with more than two levels of sums and productsEugene L. Lawler. 49-59

Machine properties preserved under state minimizationCalvin C. Elgot, Joseph D. Rutledge. 61-70

A procedure for obtaining an economical asynchronous sequential circuit directly from a set of regular expressionsB. Hazeltine. 71-79

States of sequential machines whose logical elements involve delayFranz E. Hohn. 81-89

Reduction of feedback loops in sequential circuits and carry leads in iterative networksEdward J. McCluskey. 91-102

The synthesis of cascade switching circuitsRoger E. Levien. 103-121

Some theorems for incompletely specified sequential machines with applications to state minimizationJ. C. Beatty, Raymond E. Miller. 123-136

Bounded-transient automataShmuel Winograd. 137-141

Generalized automata and their information losslessnessShimon Even. 143-147

Synthesis of combinational logic using three-input majority gatesSheldon B. Akers Jr.. 149-157

A realization procedure for threshold gate networksPhilip M. Lewis II, C. L. Coates. 159-168

Generation of self-dual threshold functions and lower bounds of the number of threshold functions and a maximum weightSaburo Muroga. 169-184

On some transformation theorems in many-valued logical systemsChuen K. Tung. 185-199

runs on WebDSL