13 results
E. J. McCluskey. Introduction to the theory of switching circuits. McGraw-Hill Book Company, New York, St. Louis, San Francisco, Toronto, London, and Sydney, 1965, xv + 318 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
- Print publication:
- January 1969
-
- Article
- Export citation
E. J. McCluskeyJr., Minimal sums for Boolean functions having many unspecified fundamental products. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20,1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York1961, pp. 10–17; also Transactions of the American Institute of Electrical Engineers, vol. 81 part 1 (1962), pp. 387–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- August 1967
-
- Article
- Export citation
R. W. House and T. Rado. On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 48–77. (See Erratum, ibid., p. 256.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- August 1967
-
- Article
- Export citation
R. W. House and T. Rado. A generalization of Nelson's algorithm for obtaining prime implicants. The journal of symbolic logic, vol. 30 (1965), pp. 8–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
- Print publication:
- August 1967
-
- Article
- Export citation
A. Cobham, R. Fridshal, and J. H. North. An application of linear programming to the minimization of Boolean functions. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17-20, 1961, and Papers from the First Annual Symposium, Chicago, Ill., October 9-14, 1960, American Institute of Electrical Engineers, New York1961, pp. 3–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
- Print publication:
- June 1965
-
- Article
- Export citation
M. J. Ghazala Gazalé. Irredundant disjunctive and conjunctive forms of a Boolean function. IBM journal of research and development, vol. 1 (1957), pp. 171–176. - T. Rado. Comments on the presence function of Gazalé. IBM journal of research and development, vol. 6 (1962), pp. 268–269.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-109
- Print publication:
- March 1965
-
- Article
- Export citation
I. B. Pyne and E. J. McCluskeyJr., An essay on prime implicant tables. Journal of the Society for Industrial and Applied Mathematics, vol. 9 (1961), pp. 604–631.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
- Print publication:
- March 1964
-
- Article
- Export citation
R. Fridshal. The Quine algorithm. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 211–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
- Print publication:
- March 1962
-
- Article
- Export citation
Franz E. Hohn. Applied Boolean algebra. An elementary introduction. The Macmillan Company, New York1960, xx + 139 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-106
- Print publication:
- March 1962
-
- Article
- Export citation
J. Eldon Whitesitt. Boolean algebra and its applications. Addison-Wesley Publishing Company, Reading, Mass., and London, 1961, x + 182 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1962
-
- Article
- Export citation
J. Paul Roth. Two logical minimization problems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 396–401. - J. Paul Roth. Algebraic topological methods for the synthesis of switching systems. II. Proceedings of the International Symposium on the Theory of Switching, Harvard University, April 2, 1957, The annals of the computation laboratory, vol. 29 (1959), pp. 57–73. - J. Paul Roth and E. G. Wagner. Algebraic topological methods for the synthesis of switching systems. III: Minimization of nonsingtdar Boolean trees. IBM journal of research and development, vol. 3 (1959), pp. 326–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-373
- Print publication:
- December 1960
-
- Article
- Export citation
R. H. Urbano and R. K. Mueller. A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956), pp. 126–132. - David M. Brender. The logical procedures needed for finding the minimals of a Boolean function on a digital computer. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, p. 210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
- Print publication:
- December 1960
-
- Article
- Export citation
Warren Semon. Synthesis of series-parallel network switching functions. The Bell System technical journal, vol. 37 (1958), pp. 877–898.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- June 1960
-
- Article
- Export citation