![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
3rd SWCT 1962: Chicago, Illinois, USA
- 3rd Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, Illinois, USA, October 7-12, 1962. IEEE Computer Society 1962
I. Minimization Techniques
- Angelo Raffaele Meo:
On the minimal third order expression of a Boolean function. 5-24 - E. W. Samson, Lorenzo Calabi:
Research and algorithms in the theory of Boolean formulas. 25-32 - Lorenzo Calabi, J. A. Riley:
The algebra of Boolean formulas: Some criteria for minimality. 33-47 - Eugene L. Lawler:
Minimal Boolean expressions with more than two levels of sums and products. 49-59
II. Sequential Circuits I
- Calvin C. Elgot, Joseph D. Rutledge:
Machine properties preserved under state minimization. 61-70 - Barrett Hazeltine:
A procedure for obtaining an economical asynchronous sequential circuit directly from a set of regular expressions. 71-79 - Franz E. Hohn:
States of sequential machines whose logical elements involve delay. 81-89 - Edward J. McCluskey:
Reduction of feedback loops in sequential circuits and carry leads in iterative networks. 91-102
III. Sequential Circuits II
- Roger E. Levien:
The synthesis of cascade switching circuits. 103-121 - James C. Beatty, Raymond E. Miller:
Some theorems for incompletely specified sequential machines with applications to state minimization. 123-136 - Shmuel Winograd:
Bounded-transient automata. 137-141 - Shimon Even:
Generalized automata and their information losslessness. 143-147
IV. Combinational Problems
- Sheldon B. Akers Jr.:
Synthesis of combinational logic using three-input majority gates. 149-157 - Philip M. Lewis II, C. L. Coates:
A realization procedure for threshold gate networks. 159-168 - Saburo Muroga:
Generation of self-dual threshold functions and lower bounds of the number of threshold functions and a maximum weight. 169-184 - Chuen K. Tung:
On some transformation theorems in many-valued logical systems. 185-199
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.