Hirschhorn Edwin. Simplification of a class of Boolean functions. Journal of the Association for Computing Machinery, vol. 5 no. 1 , pp. 67–75 [Book Review]

Journal of Symbolic Logic 23 (2):236-237 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964445

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: E. J. McCluskey, Minimization of Boolean Functions. [REVIEW]Robert McNaughton - 1958 - Journal of Symbolic Logic 23 (2):235-235.
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 , pp. 163–174. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 , pp. 23–41. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):515-516.
Simplification of a Class of Boolean Functions.Edwin Hirschhorn - 1958 - Journal of Symbolic Logic 23 (2):236-237.
Manuel Blum. A Machine-independent theory of the complexity of recursive functions. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 322–336. [REVIEW]Manuel Blum - 1970 - Journal of Symbolic Logic 34 (4):657-658.
Review: E. J. McCluskey, Minimal Sums for Boolean Functions having many Unspecified Fundamental Products. [REVIEW]Thomas H. Mott - 1967 - Journal of Symbolic Logic 32 (2):263-264.
E. W. Veitch. A chart method for simplifying truth functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 127–133. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
J. C. C. McKinsey. Boolean functions and points. Duke mathematical journal, vol. 2 (1936), pp. 465–471.J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (1):41-41.
J. C. C. McKinsey. On Boolean functions of many variables. Transactions of the American Mathematical Society, vol. 40 (1936), pp. 343–362. [REVIEW]Tang Tsao-Chen - 1937 - Journal of Symbolic Logic 2 (1):58-59.
A. N. Prior. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 67–69. - Daya. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 71–75. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 77–81. - Daya. Concluding note. Journal of the Philosophical Association , vol. 7 no. 27 , p. 83. - S. Bhattacharyya. Post-script. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 83–84. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 25 (3):263-264.

Analytics

Added to PP
2013-11-03

Downloads
31 (#533,234)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references